do not use const stability attribute when we don't even need to call the intrinsic in const#1497

Merged

Amanieu merged 1 commit intorust-lang:masterfrom

RalfJung:non-const-copy

Nov 16, 2023

Commits on Nov 14, 2023

do not use const stability attribute when we don't even need to call the intrinsic in const
RalfJung
committed