test: add a regression test for `lean_apply_m` over-application Applies 20 arguments in one call to a chain of arity-1 closures, which segfaults without the `lean_apply_m` fix.
This is the repository for Lean 4.
See Install Lean.
Please read our Contribution Guidelines first.
See Building Lean.