Index: dart/sdk/lib/_internal/compiler/implementation/typechecker.dart |
diff --git a/dart/sdk/lib/_internal/compiler/implementation/typechecker.dart b/dart/sdk/lib/_internal/compiler/implementation/typechecker.dart |
index 41fc2b5959c14347f56825b95870db48a99abcca..4b314595bbc3f314be471dafeef880b1f465eb51 100644 |
--- a/dart/sdk/lib/_internal/compiler/implementation/typechecker.dart |
+++ b/dart/sdk/lib/_internal/compiler/implementation/typechecker.dart |
@@ -189,7 +189,8 @@ class TypeCheckerVisitor extends Visitor<DartType> { |
LibraryElement get currentLibrary => elements.currentElement.getLibrary(); |
reportTypeWarning(Node node, MessageKind kind, [Map arguments = const {}]) { |
- compiler.reportWarning(node, new TypeWarning(kind, arguments)); |
+ compiler.reportWarning( |
+ node, new TypeWarning(kind, arguments, compiler.terseDiagnostics)); |
} |
reportTypeInfo(Spannable node, MessageKind kind, [Map arguments = const {}]) { |