| Index: pkg/front_end/testcases/inference/conflicts_can_happen.dart
|
| diff --git a/pkg/front_end/testcases/inference/conflicts_can_happen.dart b/pkg/front_end/testcases/inference/conflicts_can_happen.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..e38b1a6cc58093cec036f27ee8b72b8828bd96e6
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference/conflicts_can_happen.dart
|
| @@ -0,0 +1,31 @@
|
| +// Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file
|
| +// for details. All rights reserved. Use of this source code is governed by a
|
| +// BSD-style license that can be found in the LICENSE file.
|
| +
|
| +/*@testedFeatures=inference*/
|
| +library test;
|
| +
|
| +class I1 {
|
| + int x;
|
| +}
|
| +
|
| +class I2 extends I1 {
|
| + int y;
|
| +}
|
| +
|
| +class A {
|
| + final I1 a = null;
|
| +}
|
| +
|
| +class B {
|
| + final I2 a = null;
|
| +}
|
| +
|
| +class C1 implements A, B {
|
| + /*error:INVALID_METHOD_OVERRIDE*/ get a => null;
|
| +}
|
| +
|
| +// Still ambiguous
|
| +class C2 implements B, A {
|
| + /*error:INVALID_METHOD_OVERRIDE*/ get a => null;
|
| +}
|
|
|