fix: use the correct calling convention when over-applying a closure in lean_apply_m - #14969

fix: use the correct calling convention when over-applying a closure in lean_apply_m#14969

Kha wants to merge 1 commit into

masterleanprover/lean4:masterfrom

runtime-apply-m-fixleanprover/lean4:runtime-apply-m-fixCopy head branch name to clipboard