| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/extension_types/issue54186.dart:10:9: Error: The typedef 'F4' has a reference to itself. |
| // typedef F4<X> = F4<X>; // Error. |
| // ^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| typedef F<X extends core::Object? = dynamic> = X%; |
| typedef F2<X extends core::Object? = dynamic> = X%; |
| typedef F3<unrelated X extends core::Object? = dynamic> = invalid-type; |
| typedef F4<unrelated X extends core::Object? = dynamic> = invalid-type; |
| extension type E<X extends core::Object? = dynamic>(X% it) { |
| abstract extension-type-member representation-field get it() → X%; |
| constructor • = self::E|constructor#; |
| constructor tearoff • = self::E|constructor#_#new#tearOff; |
| } |
| extension type E2<X extends core::Object? = dynamic>(invalid-type it) { |
| abstract extension-type-member representation-field get it() → invalid-type; |
| constructor • = self::E2|constructor#; |
| constructor tearoff • = self::E2|constructor#_#new#tearOff; |
| } |
| static extension-type-member method E|constructor#<X extends core::Object? = dynamic>(self::E|constructor#::X% it) → self::E<self::E|constructor#::X%>% /* erasure=self::E|constructor#::X%, declared=! */ { |
| lowered final self::E<self::E|constructor#::X%>% /* erasure=self::E|constructor#::X%, declared=! */ #this = it; |
| return #this; |
| } |
| static extension-type-member method E|constructor#_#new#tearOff<X extends core::Object? = dynamic>(self::E|constructor#_#new#tearOff::X% it) → self::E<self::E|constructor#_#new#tearOff::X%>% /* erasure=self::E|constructor#_#new#tearOff::X%, declared=! */ |
| return self::E|constructor#<self::E|constructor#_#new#tearOff::X%>(it); |
| static extension-type-member method E2|constructor#<X extends core::Object? = dynamic>(invalid-type it) → self::E2<self::E2|constructor#::X%>% /* erasure=invalid-type, declared=! */ { |
| lowered final self::E2<self::E2|constructor#::X%>% /* erasure=invalid-type, declared=! */ #this = it; |
| return #this; |
| } |
| static extension-type-member method E2|constructor#_#new#tearOff<X extends core::Object? = dynamic>(invalid-type it) → self::E2<self::E2|constructor#_#new#tearOff::X%>% /* erasure=invalid-type, declared=! */ |
| return self::E2|constructor#<self::E2|constructor#_#new#tearOff::X%>(it); |