mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Address comments

Browse Source
This commit is contained in:
varkor 2018-09-14 22:46:13 +01:00
parent ffce4fbd6c
commit 64c2a310e1
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/librustc/ty/sty.rs
View File

@ -1549,8 +1549,12 @@ impl<'a, 'gcx, 'tcx> TyS<'tcx> {
// but we only return `true` for types that are definitely uninhabited. // but we only return `true` for types that are definitely uninhabited.
match self.sty { match self.sty {
ty::Never => true, ty::Never => true,
ty::Adt(def, _) if def.is_union() => {
// For now, `union`s are never considered uninhabited.
false
}
ty::Adt(def, _) => { ty::Adt(def, _) => {
// Any ADT is uninhabited if: // Any ADT is uninhabited if either:
// (a) It has no variants (i.e. an empty `enum`); // (a) It has no variants (i.e. an empty `enum`);
// (b) Each of its variants (a single one in the case of a `struct`) has at least // (b) Each of its variants (a single one in the case of a `struct`) has at least
// one uninhabited field. // one uninhabited field.