blob: 1aaf746f1cb7211eba2f7a31b9c81901b38e8267 [file] [log] [blame]
extension type E1<X>(X it) {}
class A1<X extends E1<X>> {}
typedef F1<X extends E1<X>> = int;
typedef G1 = void Function<X extends E1<X>>();
typedef void H1<X extends E1<X>>();
extension Ext1<X extends E1<X>> on List<X> {}
enum Enum1<X extends E1<X>> {
element<Never>();
}
foo1<X extends E1<X>>() {}
mixin M1<X extends E1<X>> on List<num> {}
bar1() {}
extension type ET1<X extends E1<X>>(Object? it) {}
class A2<X extends E1<Y>, Y extends X> {}
typedef F2<X extends E1<Y>, Y extends X> = int;
typedef G2 = void Function<X extends E1<Y>, Y extends X>();
typedef void H2<X extends E1<Y>, Y extends X>();
extension Ext2<X extends E1<Y>, Y extends X> on List<X> {}
enum Enum2<X extends E1<Y>, Y extends X> {
element<Never, Never>();
}
foo2<X extends E1<Y>, Y extends X>() {}
mixin M2<X extends E1<Y>, Y extends X> on List<num> {}
bar2() {}
extension type ET2<X extends E1<Y>, Y extends X>(Object? it) {}