interpret: properly check for inhabitedness of nested references#156977
Open
RalfJung wants to merge 3 commits into
Open
interpret: properly check for inhabitedness of nested references#156977RalfJung wants to merge 3 commits into
RalfJung wants to merge 3 commits into
