Index: pkg/compiler/lib/src/types/type_mask.dart |
diff --git a/pkg/compiler/lib/src/types/type_mask.dart b/pkg/compiler/lib/src/types/type_mask.dart |
index c855f89c12d1f0ec836b94d8076475fccafab93f..dd8a7b0d229ef703bfe41c6b1e19da761dc37d41 100644 |
--- a/pkg/compiler/lib/src/types/type_mask.dart |
+++ b/pkg/compiler/lib/src/types/type_mask.dart |
@@ -88,7 +88,7 @@ abstract class TypeMask implements ReceiverConstraint, AbstractValue { |
assert( |
closedWorld.isInstantiated(base), |
failedAt( |
- base, |
+ base ?? CURRENT_ELEMENT_SPANNABLE, |
"Cannot create exact type mask for uninstantiated " |
"class $base.\n${closedWorld.dump(base)}")); |
return new FlatTypeMask.exact(base); |
@@ -103,7 +103,7 @@ abstract class TypeMask implements ReceiverConstraint, AbstractValue { |
assert( |
closedWorld.isInstantiated(base), |
failedAt( |
- base, |
+ base ?? CURRENT_ELEMENT_SPANNABLE, |
"Cannot create subclass type mask for uninstantiated " |
"class $base.\n${closedWorld.dump(base)}")); |
ClassEntity topmost = closedWorld.getLubOfInstantiatedSubclasses(base); |
@@ -137,7 +137,7 @@ abstract class TypeMask implements ReceiverConstraint, AbstractValue { |
assert( |
closedWorld.isInstantiated(base), |
failedAt( |
- base, |
+ base ?? CURRENT_ELEMENT_SPANNABLE, |
"Cannot create exact type mask for uninstantiated " |
"class $base.\n${closedWorld.dump(base)}")); |
return new FlatTypeMask.nonNullExact(base); |
@@ -155,7 +155,7 @@ abstract class TypeMask implements ReceiverConstraint, AbstractValue { |
assert( |
closedWorld.isInstantiated(base), |
failedAt( |
- base, |
+ base ?? CURRENT_ELEMENT_SPANNABLE, |
"Cannot create subclass type mask for uninstantiated " |
"class $base.\n${closedWorld.dump(base)}")); |
ClassEntity topmost = closedWorld.getLubOfInstantiatedSubclasses(base); |