Skip to content

interpret: properly check for inhabitedness of nested references#156977

Open
RalfJung wants to merge 2 commits into
rust-lang:mainfrom
RalfJung:interpret-opsem-inhabited
Open

interpret: properly check for inhabitedness of nested references#156977
RalfJung wants to merge 2 commits into
rust-lang:mainfrom
RalfJung:interpret-opsem-inhabited