Index: compiler/java/com/google/dart/compiler/resolver/SupertypeResolver.java |
diff --git a/compiler/java/com/google/dart/compiler/resolver/SupertypeResolver.java b/compiler/java/com/google/dart/compiler/resolver/SupertypeResolver.java |
index ed9505e4f11232bb344f78af9285cf8d5e468f4d..6f137671438ad12785189f8fb8776de36347db8e 100644 |
--- a/compiler/java/com/google/dart/compiler/resolver/SupertypeResolver.java |
+++ b/compiler/java/com/google/dart/compiler/resolver/SupertypeResolver.java |
@@ -177,6 +177,10 @@ public class SupertypeResolver { |
topLevelContext.onError(mixNode, ResolverErrorCode.SUPER_CLASS_IN_WITH); |
continue; |
} |
+ if (!Objects.equal(mixType.getElement().getSupertype(), typeProvider.getObjectType())) { |
+ topLevelContext.onError(mixNode, ResolverErrorCode.ONLY_OBJECT_MIXIN_SUPERCLASS); |
+ continue; |
+ } |
seenMixin.add(mixType); |
// OK, add |
Elements.addMixin(classElement, mixType); |