search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.66k stars 349 forks source link

ABI checks do not accept Option-"like" types #3983

Closed RalfJung closed 3 weeks ago

RalfJung commented 1 month ago

Recently we ratified the Option null-pointer guarantee to also apply to Option-like types. Miri should be adjusted to match that.

RalfJung commented 3 weeks ago

Fixed by https://github.com/rust-lang/rust/pull/132057