Assert for unknown structurally uninhabited types

Azoy · Azoy · commit 83e0cfae0fd0 · 2018-10-23T18:31:44.000-05:00
diff --git a/lib/Sema/TypeCheckDecl.cpp b/lib/Sema/TypeCheckDecl.cpp
@@ -2468,6 +2468,9 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
       
       if (VD->getInterfaceType()->is<TupleType>()) {
         uninhabitedTypeDiag = diag::pattern_no_uninhabited_tuple_type;
+      } else {
+        assert(VD->getInterfaceType()->is<EnumType>() && 
+          "unknown structurally uninhabited type");
       }
           
       TC.diagnose(VD->getLoc(), uninhabitedTypeDiag, VD->isLet(),

Original file line number	Diff line number	Diff line change
`@@ -2468,6 +2468,9 @@ class DeclChecker : public DeclVisitor<DeclChecker> {`
`2468`	`2468`
`2469`	`2469`	`if (VD->getInterfaceType()->is<TupleType>()) {`
`2470`	`2470`	`uninhabitedTypeDiag = diag::pattern_no_uninhabited_tuple_type;`
	`2471`	`+ } else {`
	`2472`	`+ assert(VD->getInterfaceType()->is<EnumType>() &&`
	`2473`	`+ "unknown structurally uninhabited type");`
`2471`	`2474`	`}`
`2472`	`2475`
`2473`	`2476`	`TC.diagnose(VD->getLoc(), uninhabitedTypeDiag, VD->isLet(),`