Skip to content

Couple of cleanups and optimizations around MIR encoding#152096

Merged
rust-bors[bot] merged 3 commits intorust-lang:mainfrom
bjorn3:mir_encoding_cleanups
Feb 5, 2026
Merged

Couple of cleanups and optimizations around MIR encoding#152096
rust-bors[bot] merged 3 commits intorust-lang:mainfrom
bjorn3:mir_encoding_cleanups

Commits

Commits on Feb 4, 2026