| 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 {} |