| Index: pkg/compiler/lib/src/typechecker.dart
|
| diff --git a/pkg/compiler/lib/src/typechecker.dart b/pkg/compiler/lib/src/typechecker.dart
|
| index b72eab124dacfcab5c1c9cb37cdf6541a74e108b..6f5791c8f62ff624b7c89216d6aea69e09e898da 100644
|
| --- a/pkg/compiler/lib/src/typechecker.dart
|
| +++ b/pkg/compiler/lib/src/typechecker.dart
|
| @@ -603,6 +603,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);
|
| }
|
| @@ -1171,10 +1177,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) {
|
|
|