blob: a99b7c0a6646e7f7667feac35afefb16799a36ff [file] [log] [blame]
class A<X> {}
class B<X> extends A<X> {}
class C extends A<String> {}
extension type E<X>(X it) {}
extension type E1(A<Never> it) implements A<String>, A<int> {}
extension type E2(B<Never> it) implements B<String>, A<double> {}
extension type E3(C it) implements C, A<num> {}
extension type E41(A<Never> it) implements A<String> {}
extension type E42(A<Never> it) implements E41, A<int> {}
extension type E5(E<Never> it) implements E<String>, E<bool> {}
extension type E61(E<Never> it) implements E<num> {}
extension type E62(E<Never> it) implements E61, E<String> {}
extension type E71(E<Never> it) implements E<double> {}
extension type E72(E<Never> it) implements E<bool> {}
extension type E73(E<Never> it) implements E71, E72 {}