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 c24d202ed85e401f3957d54e2159ccff6a05c291..8f18b0a908fdea2582261453b9d5c8350335afda 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 |
@@ -2430,6 +2430,49 @@ public class NonErrorResolverTest extends ResolverTestCase { |
verify(source); |
} |
+ public void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_interface() |
+ throws Exception { |
+ // 15979 |
+ Source source = addSource(createSource(// |
+ "abstract class M {}", |
+ "abstract class A {}", |
+ "abstract class I {", |
+ " m();", |
+ "}", |
+ "abstract class B = A with M implements I;")); |
+ resolve(source); |
+ assertNoErrors(source); |
+ verify(source); |
+ } |
+ |
+ public void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_mixin() |
+ throws Exception { |
+ // 15979 |
+ Source source = addSource(createSource(// |
+ "abstract class M {", |
+ " m();", |
+ "}", |
+ "abstract class A {}", |
+ "abstract class B = A with M;")); |
+ resolve(source); |
+ assertNoErrors(source); |
+ verify(source); |
+ } |
+ |
+ public void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_superclass() |
+ throws Exception { |
+ // 15979 |
+ Source source = addSource(createSource(// |
+ "class M {}", |
+ "abstract class A {", |
+ " m();", |
+ "}", |
+ "abstract class B = A with M;")); |
+ resolve(source); |
+ assertNoErrors(source); |
+ verify(source); |
+ } |
+ |
public void test_nonAbstractClassInheritsAbstractMemberOne_mixin_getter() throws Exception { |
// 17034 |
Source source = addSource(createSource(// |