rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirect#133142

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:naming-is-hard

Nov 18, 2024

Commits on Nov 18, 2024

rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirect
RalfJung
committed