Skip to content

miri: improve error when offset_from preconditions are violated#136438

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:offset_from_ub_errors
Feb 3, 2025
Merged

miri: improve error when offset_from preconditions are violated#136438
bors merged 1 commit intorust-lang:masterfrom
RalfJung:offset_from_ub_errors

Commits

Commits on Feb 2, 2025