Skip to content

miri: rename intrinsic_fallback_checks_ub to intrinsic_fallback_is_spec#124896

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-intrinsic-fallback
May 22, 2024

Commits