Report MIXIN_INHERITS_FROM_NOT_OBJECT

editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java

Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java
index eec7939251cdeeabec76af2603ecde80d31f8bc9..2ac96e8d67ea207ac325561bb2a33a103921a613 100644
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/NonErrorResolverTest.java
@@ -553,6 +553,26 @@ public class NonErrorResolverTest extends ResolverTestCase {
     verify(source);
   }
 
+  public void test_mixinInheritsFromNotObject_classDeclaration_mixTypedef() throws Exception {
+    Source source = addSource(createSource(//
+        "class A {}",
+        "typedef B = Object with A {}",
+        "class C extends Object with B {}"));
+    resolve(source);
+    assertNoErrors();
+    verify(source);
+  }
+
+  public void test_mixinInheritsFromNotObject_typedef_mixTypedef() throws Exception {
+    Source source = addSource(createSource(//
+        "class A {}",
+        "typedef B = Object with A {}",
+        "typedef C = Object with B {}"));
+    resolve(source);
+    assertNoErrors();
+    verify(source);
+  }
+
   public void test_multipleSuperInitializers_no() throws Exception {
     Source source = addSource(createSource(//
         "class A {}",