lean4-htt/stage0
Henrik Böving d0aa7d2faa
perf: mark inhabited arguments to extern as borrowed (#13094)
This PR marks the `Inhabited` arguments of all functions in core marked
as `extern` as borrowed
(panicking array accessors and `panic!` itself). This in turn causes a
transitive effect throughout
the codebase and promotes most, if not all, `Inhabited` arguments to
functions to borrowed.
2026-03-24 13:54:06 +00:00
..
src perf: mark inhabited arguments to extern as borrowed (#13094) 2026-03-24 13:54:06 +00:00
stdlib chore: update stage0 2026-03-24 08:45:44 +00:00