blob: a78848b11b9f40176240e66a6c1fa1f98738a4f8 [file] [log] [blame]
class A<TypeX extends A<TypeX>> {}
class B<TypeY extends A> {}
class C<TypeZ extends B> {}
extension D<TypeY extends A> on int {}
extension E<TypeZ extends B> on int {}
typedef F<TypeY extends A> = int;
typedef G<TypeZ extends B> = int;
main() {}