miri: support 'promising' alignment for symbolic alignment check#117840

Merged

bors merged 2 commits intorust-lang:masterfrom

RalfJung:miri-promise-align

Dec 4, 2023

Commits on Dec 3, 2023

miri: support 'promising' alignment for symbolic alignment check
RalfJung
committed
move calling miri_promise_symbolic_alignment to a shared helper
RalfJung
committed