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 d9f7c5bc4240f174e74dc6582889cb91b6886239..3ea8af4269d46bfd616523412e83793def3c8db9 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 {}]) { |