| 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);
|
|
|