fix: add `instantiateMVars` to `replaceLocalDecl`#2712

Merged

kim-em merged 3 commits intoleanprover:masterfrom thorimur:replaceLocalDecl-instantiateMVars

Oct 24, 2023

+82-7

Commits on Oct 22, 2023

Commits on Oct 24, 2023

test: replaceLocalDecl instantiates mvars
thorimur
committed