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