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