perf: skip re-attempting pending TC mvars with unchanged instantiated goals (quadratic resumption, #14448)#14449

grandchildrice wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

grandchildrice:t6-upstreamgrandchildrice/lean4:t6-upstreamCopy head branch name to clipboard