Index: sdk/lib/_internal/compiler/implementation/warnings.dart |
diff --git a/sdk/lib/_internal/compiler/implementation/warnings.dart b/sdk/lib/_internal/compiler/implementation/warnings.dart |
index 7d5dcbf30e087af02b5bbb8efdbc1743bac34565..3c3729e54ef56b18d984d313298683d0ce92222b 100644 |
--- a/sdk/lib/_internal/compiler/implementation/warnings.dart |
+++ b/sdk/lib/_internal/compiler/implementation/warnings.dart |
@@ -668,6 +668,19 @@ main() { F f = null; }"""]); |
static const MessageKind CANNOT_IMPLEMENT = const MessageKind( |
"Error: '#{type}' cannot be implemented."); |
+ static const MessageKind CANNOT_MIXIN = const MessageKind( |
+ "Error: The type '#{type}' can't be mixed in.", |
+ howToFix: "Try removing '#{type}' from the 'with' clause.", |
+ examples: const [""" |
+class C extends Object with String {} |
+ |
+main() => new C(); |
+""", """ |
+typedef C = Object with String; |
+ |
+main() => new C(); |
+"""]); |
+ |
static const MessageKind DUPLICATE_EXTENDS_IMPLEMENTS = const MessageKind( |
"Error: '#{type}' can not be both extended and implemented."); |