perf: give `currRecDepth` its own `ReaderT` layer in `CoreM` - #14970

Draft

Kha wants to merge 2 commits into

core-recdepth-readert

Commits on Aug 29, 2026

fix: use the correct calling convention when over-applying a closure in `lean_apply_m`
Kha
committed
df1b1f0
perf: give `currRecDepth` its own `ReaderT` layer in `CoreM`
Kha
committed
f51ba22