blob: 307668329f05af96ab3e1eeefabe554d9afa5df0 [file] [log] [blame]
extension type A(int it) {}
extension type Ba(A it) {}
extension type Bb(A? it) {}
extension type C<T>(T it) {}
extension type Da<T>(C<T> it) {}
extension type Db<T>(C<T?> it) {}
extension type Dc<T>(C<T>? it) {}
extension type E(int? it) {}
extension type Fa(E it) {}
extension type Fb(E? it) {}
extension type G<T>(T? it) {}
extension type Ha<T>(G<T> it) {}
extension type Hb<T>(G<T?> it) {}
extension type Hc<T>(G<T>? it) {}
extension type I<T extends Object>(T it) {}
extension type Ja<T extends Object>(I<T> it) {}
extension type Jc<T extends Object>(I<T>? it) {}
extension type K<T extends Object>(T? it) {}
extension type La<T extends Object>(K<T> it) {}
extension type Lc<T extends Object>(K<T>? it) {}
testA(Never n) {}
testBa(Never n) {}
testC<S, U extends Object>(Never n) {}
testDa<S, U extends Object>(Never n) {}
testDb<S, U extends Object>(Never n) {}
testDc<S, U extends Object>(Never n) {}
testE(Never n) {}
testF(Never n) {}
testG<S, U extends Object>(Never n) {}
testHa<S, U extends Object>(Never n) {}
testHb<S, U extends Object>(Never n) {}
testHc<S, U extends Object>(Never n) {}
testI<U extends Object>(Never n) {}
testJa<U extends Object>(Never n) {}
testJc<U extends Object>(Never n) {}
testK<U extends Object>(Never n) {}
testLa<U extends Object>(Never n) {}
testLc<U extends Object>(Never n) {}