blob: 5822ef62a908b8764560952fc41896e609f8ea98 [file] [log] [blame]
// @dart = 2.9
class A<S> {
void method<T extends S>(S s) {}
}
class B<S> {
void method<T extends S>(covariant S s) {}
}
class C<S> extends A<S> implements B<S> {
void method<T extends S>(S s);
}
class D<S> extends A<S> implements B<S> {}
main() {}