| // 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. |
| |
| abstract class F<T> { |
| T foo(T t); |
| } |
| |
| class B<T extends F<T>> {} |
| |
| class C<T extends F<C<T>>> {} |
| |
| class D extends B<D> implements F<D> { |
| D foo(D x) => x; |
| } |
| |
| class E extends C<E> implements F<C<E>> { |
| C<E> foo(C<E> x) => x; |
| } |
| |
| main() { |
| D fd = D(); |
| var d = fd.foo(fd); |
| print(d); |
| E fe = E(); |
| var e = fe.foo(fe); |
| print(e); |
| } |