Add assert in reportNoCommonSupertypeError

microsoft · Mar 14, 2015 · f6de919 · f6de919
1 parent 1bb4a62
commit f6de919
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -4379,6 +4379,8 @@ module ts {
                     }
                 }
 
+                Debug.assert(!!downfallType, "If there is no common supertype, each type should have a downfallType");
+
                 if (score > bestSupertypeScore) {
                     bestSupertype = types[i];
                     bestSupertypeDownfallType = downfallType;