perf: do not include scalar children in `mark_mt`/`mark_persistent` - #14980

Draft

TwoFX wants to merge 1 commit into

leanprover:masterfrom

Commits on Aug 31, 2026

perf: do not include scalar children in `mark_mt`/`mark_persistent`
TwoFX
committed
259f5b0