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