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 6f137671438ad12785189f8fb8776de36347db8e..ed9505e4f11232bb344f78af9285cf8d5e468f4d 100644 |
--- a/compiler/java/com/google/dart/compiler/resolver/SupertypeResolver.java |
+++ b/compiler/java/com/google/dart/compiler/resolver/SupertypeResolver.java |
@@ -177,10 +177,6 @@ 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); |