| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/extension_types/cyclicity_checks_order_in_outline.dart:9:9: Error: The typedef 'F1' has a reference to itself. |
| // typedef F1 = F1; // Error. |
| // ^^ |
| // |
| // pkg/front_end/testcases/extension_types/cyclicity_checks_order_in_outline.dart:11:9: Error: The typedef 'F2' has a reference to itself. |
| // typedef F2 = F2; // Error. |
| // ^^ |
| // |
| import self as self; |
| |
| typedef F1 = invalid-type; |
| typedef F2 = invalid-type; |
| extension type E1(invalid-type it) { |
| abstract extension-type-member representation-field get it() → invalid-type; |
| constructor • = self::E1|constructor#; |
| constructor tearoff • = self::E1|constructor#_#new#tearOff; |
| } |
| extension type E2(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 E1|constructor#(invalid-type it) → self::E1% /* erasure=invalid-type, declared=! */ |
| ; |
| static extension-type-member method E1|constructor#_#new#tearOff(invalid-type it) → self::E1% /* erasure=invalid-type, declared=! */ |
| return self::E1|constructor#(it); |
| static extension-type-member method E2|constructor#(invalid-type it) → self::E2% /* erasure=invalid-type, declared=! */ |
| ; |
| static extension-type-member method E2|constructor#_#new#tearOff(invalid-type it) → self::E2% /* erasure=invalid-type, declared=! */ |
| return self::E2|constructor#(it); |