Skip to content

rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirect#133142

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:naming-is-hardNov 18, 2024