Skip to content

Const-to-pattern-to-MIR cleanup#127687

Merged
bors merged 5 commits intorust-lang:masterfrom
RalfJung:pattern-cleanup
Jul 18, 2024