interpret/validity: reject references to uninhabited types#97116

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:ref-validityRalfJung/rust:ref-validityCopy head branch name to clipboard