From 64c2a310e1bb489a97e6e8624201b632e31de5aa Mon Sep 17 00:00:00 2001
From: varkor <github@varkor.com>
Date: Fri, 14 Sep 2018 22:46:13 +0100
Subject: [PATCH] Address comments

---
 src/librustc/ty/sty.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/librustc/ty/sty.rs b/src/librustc/ty/sty.rs
index 152d9a32303..46f22fa86a6 100644
--- a/src/librustc/ty/sty.rs
+++ b/src/librustc/ty/sty.rs
@@ -1549,8 +1549,12 @@ impl<'a, 'gcx, 'tcx> TyS<'tcx> {
         // but we only return `true` for types that are definitely uninhabited.
         match self.sty {
             ty::Never => true,
+            ty::Adt(def, _) if def.is_union() => {
+                // For now, `union`s are never considered uninhabited.
+                false
+            }
             ty::Adt(def, _) => {
-                // Any ADT is uninhabited if:
+                // Any ADT is uninhabited if either:
                 // (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
                 //     one uninhabited field.