fix: process delayed assignment metavariables correctly in Lean.Meta.Closure
#7693
Job | Run time |
---|---|
40s | |
40s |
Lean.Meta.Closure
#7693
Job | Run time |
---|---|
40s | |
40s |