blob: 47b4e89ac9748b6e7248927d3e8e7e135930a6dc [file] [log] [blame]
class A {}
class B extends A {}
extension type C(Object? o) {}
extension type D(Object o) implements Object {}
extension type D2(Object o) {}
extension type E(B it) implements A {}
extension type F(B it) implements E, B {}
extension type G<T>(T o) {}
extension type G2<T extends Object>(T o) implements Object {}
test<T1, T2 extends A, T3 extends Object>(Object o, A a, B b, C c, D d, D2 d2,
E e, F f, G<T1> g1, G<T2> g2, G2<T3> g3) {}