| Index: pkg/front_end/testcases/inference_new/multiple_interface_inheritance.dart
|
| diff --git a/pkg/front_end/testcases/inference_new/multiple_interface_inheritance.dart b/pkg/front_end/testcases/inference_new/multiple_interface_inheritance.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..8d28ba2e5ee0f9177d73ae6dcfad7b2a66090820
|
| --- /dev/null
|
| +++ b/pkg/front_end/testcases/inference_new/multiple_interface_inheritance.dart
|
| @@ -0,0 +1,39 @@
|
| +// 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;
|
| +
|
| +abstract class I1 {
|
| + void f(int i);
|
| +}
|
| +
|
| +abstract class I2 {
|
| + void f(Object o);
|
| +}
|
| +
|
| +abstract class C implements I1, I2 {}
|
| +
|
| +class D extends C {
|
| + void f(Object o) {}
|
| +}
|
| +
|
| +abstract class E implements I2, I1 {}
|
| +
|
| +class F extends E {
|
| + void f(Object o) {}
|
| +}
|
| +
|
| +void g1(C c) {
|
| + c. /*@target=I2::f*/ f('hi');
|
| +}
|
| +
|
| +void g2(E e) {
|
| + e. /*@target=I2::f*/ f('hi');
|
| +}
|
| +
|
| +main() {
|
| + g1(new D());
|
| + g2(new F());
|
| +}
|
|
|