Index: pkg/compiler/lib/src/typechecker.dart |
diff --git a/pkg/compiler/lib/src/typechecker.dart b/pkg/compiler/lib/src/typechecker.dart |
index cb64d9b989bf2a423348ec1ef0c2cf4df6778326..fb0e3f9e8e7a270a856572f83e49dcb6ea6b4084 100644 |
--- a/pkg/compiler/lib/src/typechecker.dart |
+++ b/pkg/compiler/lib/src/typechecker.dart |
@@ -614,6 +614,12 @@ class TypeCheckerVisitor extends Visitor<DartType> { |
return type; |
} |
+ DartType visitAssert(Assert node) { |
+ analyze(node.condition); |
+ if (node.hasMessage) analyze(node.message); |
+ return const StatementType(); |
+ } |
+ |
DartType visitBlock(Block node) { |
return analyze(node.statements); |
} |
@@ -1165,10 +1171,6 @@ class TypeCheckerVisitor extends Visitor<DartType> { |
} |
DartType visitSend(Send node) { |
- if (elements.isAssert(node)) { |
- return analyzeInvocation(node, const AssertAccess()); |
- } |
- |
Element element = elements[node]; |
if (element != null && element.isConstructor) { |