Skip to content

interpret/validity: reject references to uninhabited types#97116

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:ref-validity
May 18, 2022
Merged

interpret/validity: reject references to uninhabited types#97116
bors merged 2 commits intorust-lang:masterfrom
RalfJung:ref-validity

Commits

Commits on May 17, 2022