| // Copyright (c) 2021, 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. |
| |
| import 'dart:async'; |
| |
| typedef Baz<T> = T Function(T); |
| |
| class Foo1<T> { |
| void method<S extends T>(Baz<S> x) {} |
| } |
| |
| class Bar1 implements Foo1<Object> { |
| void method<T extends Object>(Baz<T> x) {} |
| } |
| |
| class Foo2<T> { |
| void method<V extends S, S extends T>(Baz<S> x, Baz<V> y) {} |
| } |
| |
| class Bar2 implements Foo2<Object> { |
| void method<V extends T, T extends Object>(Baz<T> x, Baz<V> y) {} |
| } |
| |
| class Foo3<T> { |
| void method<V extends S, S extends FutureOr<T>>(Baz<S> x, Baz<V> y) {} |
| } |
| |
| class Bar3 implements Foo3<Object> { |
| void method<V extends T, T extends FutureOr<Object>>(Baz<T> x, Baz<V> y) {} |
| } |
| |
| class Foo4<T> { |
| void method<V extends FutureOr<S>, S extends T>(Baz<S> x, Baz<V> y) {} |
| } |
| |
| class Bar4 implements Foo4<Object> { |
| void method<V extends FutureOr<T>, T extends Object>(Baz<T> x, Baz<V> y) {} |
| } |
| |
| class Foo5<T> { |
| void method<V extends FutureOr<S>, S extends FutureOr<T>>(Baz<S> x, Baz<V> y) {} |
| } |
| |
| class Bar5 implements Foo5<Object> { |
| void method<V extends FutureOr<T>, T extends FutureOr<Object>>(Baz<T> x, Baz<V> y) {} |
| } |
| |
| void main() {} |