perf: use lean_instantiate_expr_mvars at instantiateExprMVars
#3399
The logs for this run have expired and are no longer available.
Loading