Skip to content

interpret: properly check for inhabitedness of nested references#156977

Open
RalfJung wants to merge 1 commit into
rust-lang:mainfrom
RalfJung:interpret-opsem-inhabited
Open

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

interpret: properly check for inhabitedness of nested references

09db86e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view