| 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(//
|
|
|