mir_build: Remove several remnants of #![feature(inline_const_pat)]#150498
Merged
bors merged 2 commits intorust-lang:mainfrom Dec 30, 2025
Merged
mir_build: Remove several remnants of #![feature(inline_const_pat)]#150498bors merged 2 commits intorust-lang:mainfrom
#![feature(inline_const_pat)]#150498bors merged 2 commits intorust-lang:mainfrom