Auto merge of #120393 - Urgau:rfc3373-non-local-defs, r=WaffleLapkin · rust-lang/miri@607fb72 · GitHub

Commit

Auto merge of #120393 - Urgau:rfc3373-non-local-defs, r=WaffleLapkin

Browse files

Implement RFC 3373: Avoid non-local definitions in functions

This PR implements [RFC 3373: Avoid non-local definitions in functions](rust-lang/rust#120363).

Loading branch information

bors committed Feb 25, 2024

2 parents dc71a9e + 39206ff commit 607fb72