Index: pkg/kernel/lib/type_propagation/builder.dart |
diff --git a/pkg/kernel/lib/type_propagation/builder.dart b/pkg/kernel/lib/type_propagation/builder.dart |
index 2ac6e19b631d99390054b4991984e70bdd17572b..a7b4c9612e0ce26ab3be8e5bc96d285be748b6b2 100644 |
--- a/pkg/kernel/lib/type_propagation/builder.dart |
+++ b/pkg/kernel/lib/type_propagation/builder.dart |
@@ -1802,6 +1802,11 @@ class CovariantExternalTypeVisitor extends DartTypeVisitor<int> { |
return builder.nullNode; |
} |
+ int visitVectorType(VectorType node) { |
+ throw "Internal error: CovariantExternalTypeVisitor encountered VectorType " |
+ "in native method signature"; |
+ } |
+ |
int visitInterfaceType(InterfaceType node) { |
int object = builder.getExternalInstanceVariable(node.classNode); |
for (int i = 0; i < node.typeArguments.length; ++i) { |
@@ -1909,6 +1914,8 @@ class ContravariantExternalTypeVisitor extends DartTypeVisitor<Null> { |
visitVoidType(VoidType node) {} |
+ visitVectorType(VectorType node) {} |
+ |
visitInterfaceType(InterfaceType node) { |
int escapePoint = builder.getInterfaceEscapeVariable(node.classNode); |
environment.addAssign(input, escapePoint); |