pkg/front_end/testcases/extension_types/issue53209.dart.weak.outline.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/issue53209.dart:6:32: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function()'.
//   factory E.redirNotEnough() = E; // Error.
//                                ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:8:50: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, String)'.
//   factory E.redirTooMany1(int foo, String bar) = E; // Error.
//                                                  ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:9:59: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, String, num)'.
//   factory E.redirTooMany2(int foo, String bar, num baz) = E; // Error.
//                                                           ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:10:53: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, [dynamic])'.
//   factory E.redirTooMany3(int foo, [dynamic bar]) = E; // Error.
//                                                     ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:11:61: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, {Object bar})'.
//  - 'Object' is from 'dart:core'.
//   factory E.redirTooMany4(int foo, {required Object bar}) = E; // Error.
//                                                             ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:13:11: Error: Cyclic definition of factory 'E.redirCyclic1'.
//   factory E.redirCyclic1(int foo) = E.redirCyclic2; // Error.
//           ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:14:11: Error: Cyclic definition of factory 'E.redirCyclic2'.
//   factory E.redirCyclic2(int foo) = E.redirCyclic1; // Error.
//           ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:16:11: Error: Cyclic definition of factory 'E.redirCyclicSelf'.
//   factory E.redirCyclicSelf(int foo) = E.redirCyclicSelf; // Error.
//           ^
//
// pkg/front_end/testcases/extension_types/issue53209.dart:20:34: Error: The constructor function type 'GE<dynamic> Function(dynamic)' isn't a subtype of 'GE<X> Function()'.
//   factory GE.redirNotEnough1() = GE; // Error.
//                                  ^
//
import self as self;
import "dart:core" as core;

extension type E(core::int foo) {
  abstract extension-type-member representation-field get foo() → core::int;
  constructor • = self::E|constructor#;
  constructor tearoff • = self::E|constructor#_#new#tearOff;
  static redirecting-factory redirNotEnough = self::E|constructor#redirNotEnough;
  static redirecting-factory tearoff redirNotEnough = self::E|constructor#_#redirNotEnough#tearOff;
  static redirecting-factory redirTooMany1 = self::E|constructor#redirTooMany1;
  static redirecting-factory tearoff redirTooMany1 = self::E|constructor#_#redirTooMany1#tearOff;
  static redirecting-factory redirTooMany2 = self::E|constructor#redirTooMany2;
  static redirecting-factory tearoff redirTooMany2 = self::E|constructor#_#redirTooMany2#tearOff;
  static redirecting-factory redirTooMany3 = self::E|constructor#redirTooMany3;
  static redirecting-factory tearoff redirTooMany3 = self::E|constructor#_#redirTooMany3#tearOff;
  static redirecting-factory redirTooMany4 = self::E|constructor#redirTooMany4;
  static redirecting-factory tearoff redirTooMany4 = self::E|constructor#_#redirTooMany4#tearOff;
  static redirecting-factory redirCyclic1 = self::E|constructor#redirCyclic1;
  static redirecting-factory tearoff redirCyclic1 = self::E|constructor#_#redirCyclic1#tearOff;
  static redirecting-factory redirCyclic2 = self::E|constructor#redirCyclic2;
  static redirecting-factory tearoff redirCyclic2 = self::E|constructor#_#redirCyclic2#tearOff;
  static redirecting-factory redirCyclicSelf = self::E|constructor#redirCyclicSelf;
  static redirecting-factory tearoff redirCyclicSelf = self::E|constructor#_#redirCyclicSelf#tearOff;
}
extension type GE<X extends core::Object? = dynamic>(X% foo) {
  abstract extension-type-member representation-field get foo() → X%;
  constructor • = self::GE|constructor#;
  constructor tearoff • = self::GE|constructor#_#new#tearOff;
  static redirecting-factory redirNotEnough1 = self::GE|constructor#redirNotEnough1;
  static redirecting-factory tearoff redirNotEnough1 = self::GE|constructor#_#redirNotEnough1#tearOff;
  static redirecting-factory redirNotEnough2 = self::GE|constructor#redirNotEnough2;
  static redirecting-factory tearoff redirNotEnough2 = self::GE|constructor#_#redirNotEnough2#tearOff;
}
static extension-type-member method E|constructor#(core::int foo) → self::E% /* erasure=core::int, declared=! */
  ;
static extension-type-member method E|constructor#_#new#tearOff(core::int foo) → self::E% /* erasure=core::int, declared=! */
  return self::E|constructor#(foo);
static extension-type-member method E|constructor#redirNotEnough() → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:6:32: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function()'.
  factory E.redirNotEnough() = E; // Error.
                               ^";
static extension-type-member method E|constructor#_#redirNotEnough#tearOff() → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:6:32: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function()'.
  factory E.redirNotEnough() = E; // Error.
                               ^";
static extension-type-member method E|constructor#redirTooMany1(core::int foo, core::String bar) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:8:50: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, String)'.
  factory E.redirTooMany1(int foo, String bar) = E; // Error.
                                                 ^";
static extension-type-member method E|constructor#_#redirTooMany1#tearOff(core::int foo, core::String bar) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:8:50: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, String)'.
  factory E.redirTooMany1(int foo, String bar) = E; // Error.
                                                 ^";
static extension-type-member method E|constructor#redirTooMany2(core::int foo, core::String bar, core::num baz) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:9:59: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, String, num)'.
  factory E.redirTooMany2(int foo, String bar, num baz) = E; // Error.
                                                          ^";
static extension-type-member method E|constructor#_#redirTooMany2#tearOff(core::int foo, core::String bar, core::num baz) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:9:59: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, String, num)'.
  factory E.redirTooMany2(int foo, String bar, num baz) = E; // Error.
                                                          ^";
static extension-type-member method E|constructor#redirTooMany3(core::int foo, [dynamic bar]) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:10:53: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, [dynamic])'.
  factory E.redirTooMany3(int foo, [dynamic bar]) = E; // Error.
                                                    ^";
static extension-type-member method E|constructor#_#redirTooMany3#tearOff(core::int foo, [dynamic bar]) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:10:53: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, [dynamic])'.
  factory E.redirTooMany3(int foo, [dynamic bar]) = E; // Error.
                                                    ^";
static extension-type-member method E|constructor#redirTooMany4(core::int foo, {required core::Object bar}) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:11:61: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, {Object bar})'.
 - 'Object' is from 'dart:core'.
  factory E.redirTooMany4(int foo, {required Object bar}) = E; // Error.
                                                            ^";
static extension-type-member method E|constructor#_#redirTooMany4#tearOff(core::int foo, {required core::Object bar}) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:11:61: Error: The constructor function type 'E Function(int)' isn't a subtype of 'E Function(int, {Object bar})'.
 - 'Object' is from 'dart:core'.
  factory E.redirTooMany4(int foo, {required Object bar}) = E; // Error.
                                                            ^";
static extension-type-member method E|constructor#redirCyclic1(core::int foo) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:13:11: Error: Cyclic definition of factory 'E.redirCyclic1'.
  factory E.redirCyclic1(int foo) = E.redirCyclic2; // Error.
          ^";
static extension-type-member method E|constructor#_#redirCyclic1#tearOff(core::int foo) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:13:11: Error: Cyclic definition of factory 'E.redirCyclic1'.
  factory E.redirCyclic1(int foo) = E.redirCyclic2; // Error.
          ^";
static extension-type-member method E|constructor#redirCyclic2(core::int foo) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:14:11: Error: Cyclic definition of factory 'E.redirCyclic2'.
  factory E.redirCyclic2(int foo) = E.redirCyclic1; // Error.
          ^";
static extension-type-member method E|constructor#_#redirCyclic2#tearOff(core::int foo) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:14:11: Error: Cyclic definition of factory 'E.redirCyclic2'.
  factory E.redirCyclic2(int foo) = E.redirCyclic1; // Error.
          ^";
static extension-type-member method E|constructor#redirCyclicSelf(core::int foo) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:16:11: Error: Cyclic definition of factory 'E.redirCyclicSelf'.
  factory E.redirCyclicSelf(int foo) = E.redirCyclicSelf; // Error.
          ^";
static extension-type-member method E|constructor#_#redirCyclicSelf#tearOff(core::int foo) → self::E% /* erasure=core::int, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:16:11: Error: Cyclic definition of factory 'E.redirCyclicSelf'.
  factory E.redirCyclicSelf(int foo) = E.redirCyclicSelf; // Error.
          ^";
static extension-type-member method GE|constructor#<X extends core::Object? = dynamic>(self::GE|constructor#::X% foo) → self::GE<self::GE|constructor#::X%>% /* erasure=self::GE|constructor#::X%, declared=! */
  ;
static extension-type-member method GE|constructor#_#new#tearOff<X extends core::Object? = dynamic>(self::GE|constructor#_#new#tearOff::X% foo) → self::GE<self::GE|constructor#_#new#tearOff::X%>% /* erasure=self::GE|constructor#_#new#tearOff::X%, declared=! */
  return self::GE|constructor#<self::GE|constructor#_#new#tearOff::X%>(foo);
static extension-type-member method GE|constructor#redirNotEnough1<X extends core::Object? = dynamic>() → self::GE<self::GE|constructor#redirNotEnough1::X%>% /* erasure=self::GE|constructor#redirNotEnough1::X%, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:20:34: Error: The constructor function type 'GE<dynamic> Function(dynamic)' isn't a subtype of 'GE<X> Function()'.
  factory GE.redirNotEnough1() = GE; // Error.
                                 ^";
static extension-type-member method GE|constructor#_#redirNotEnough1#tearOff<X extends core::Object? = dynamic>() → self::GE<self::GE|constructor#_#redirNotEnough1#tearOff::X%>% /* erasure=self::GE|constructor#_#redirNotEnough1#tearOff::X%, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:20:34: Error: The constructor function type 'GE<dynamic> Function(dynamic)' isn't a subtype of 'GE<X> Function()'.
  factory GE.redirNotEnough1() = GE; // Error.
                                 ^";
static extension-type-member method GE|constructor#redirNotEnough2<X extends core::Object? = dynamic>() → self::GE<self::GE|constructor#redirNotEnough2::X%>% /* erasure=self::GE|constructor#redirNotEnough2::X%, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:20:34: Error: The constructor function type 'GE<dynamic> Function(dynamic)' isn't a subtype of 'GE<X> Function()'.
  factory GE.redirNotEnough1() = GE; // Error.
                                 ^";
static extension-type-member method GE|constructor#_#redirNotEnough2#tearOff<X extends core::Object? = dynamic>() → self::GE<self::GE|constructor#_#redirNotEnough2#tearOff::X%>% /* erasure=self::GE|constructor#_#redirNotEnough2#tearOff::X%, declared=! */
  return invalid-expression "pkg/front_end/testcases/extension_types/issue53209.dart:20:34: Error: The constructor function type 'GE<dynamic> Function(dynamic)' isn't a subtype of 'GE<X> Function()'.
  factory GE.redirNotEnough1() = GE; // Error.
                                 ^";