| 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) {
|
|
|