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