SILGen: Assert that conformances are complete instead of skipping them

Author: slavapestov

lib/SILGen/SILGenType.cpp

@@ -1060,10 +1060,9 @@ class SILGenType : public TypeMemberVisitor<SILGenType> {
     // are existential and do not have witness tables.
     for (auto *conformance : theType->getLocalConformances(
                                ConformanceLookupKind::NonInherited)) {
-      if (conformance->isComplete()) {
-        if (auto *normal = dyn_cast<NormalProtocolConformance>(conformance))
-          SGM.getWitnessTable(normal);
-      }
+      assert(conformance->isComplete());
+      if (auto *normal = dyn_cast<NormalProtocolConformance>(conformance))
+        SGM.getWitnessTable(normal);
     }
   }
 
@@ -1183,10 +1182,9 @@ class SILGenExtension : public TypeMemberVisitor<SILGenExtension> {
       // extension.
       for (auto *conformance : e->getLocalConformances(
                                  ConformanceLookupKind::All)) {
-        if (conformance->isComplete()) {
-          if (auto *normal =dyn_cast<NormalProtocolConformance>(conformance))
-            SGM.getWitnessTable(normal);
-        }
+        assert(conformance->isComplete());
+        if (auto *normal =dyn_cast<NormalProtocolConformance>(conformance))
+          SGM.getWitnessTable(normal);
       }
     }
   }