pkg/front_end/testcases/super_parameters/no_coercions.dart.strong.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:10:24: Error: The argument type 'dynamic' can't be assigned to the parameter type 'int'.
//   B1.one(dynamic super.x); // Error.
//                        ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:11:24: Error: The argument type 'dynamic' can't be assigned to the parameter type 'int'.
//   B1.two(dynamic super.x) : super(); // Error.
//                        ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:19:34: Error: The argument type 'dynamic' can't be assigned to the parameter type 'String'.
//   B2.one({required dynamic super.x}); // Error.
//                                  ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:20:34: Error: The argument type 'dynamic' can't be assigned to the parameter type 'String'.
//   B2.two({required dynamic super.x}) : super(); // Error.
//                                  ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:28:38: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
//   B3.one(X Function<X>(double) super.f); // Error.
//                                      ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:29:38: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
//   B3.two(X Function<X>(double) super.f) : super(); // Error.
//                                      ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:37:48: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
//   B4.one({required X Function<X>(double) super.f}); // Error.
//                                                ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:38:48: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
//   B4.two({required X Function<X>(double) super.f}) : super(); // Error.
//                                                ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:50:19: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
//  - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
//   B5.one(C5 super.f); // Error.
//                   ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:51:19: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
//  - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
//   B5.two(C5 super.f) : super(); // Error.
//                   ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:59:29: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
//  - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
//   B6.one({required C5 super.f}); // Error.
//                             ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:60:29: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
//  - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
//   B6.two({required C5 super.f}) : super(); // Error.
//                             ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:73:30: Error: The argument type 'dynamic' can't be assigned to the parameter type 'int'.
//   B7({required dynamic super.x1, // Error.
//                              ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:75:44: Error: The argument type 'X Function<X>(Object)' can't be assigned to the parameter type 'bool Function(Object)'.
//  - 'Object' is from 'dart:core'.
//       required X Function<X>(Object) super.f1, // Error.
//                                            ^
//
// pkg/front_end/testcases/super_parameters/no_coercions.dart:77:42: Error: The argument type 'void Function<X>(X)' can't be assigned to the parameter type 'void Function(dynamic)'.
//       required void Function<X>(X) super.g1, // Error.
//                                          ^
//
import self as self;
import "dart:core" as core;

class A1 extends core::Object {
  constructor •(core::int x) → self::A1
    : super core::Object::•()
    ;
}
class B1 extends self::A1 {
  constructor one(dynamic x) → self::B1
    : super self::A1::•(invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:10:24: Error: The argument type 'dynamic' can't be assigned to the parameter type 'int'.
  B1.one(dynamic super.x); // Error.
                       ^" in x as{TypeError} core::int)
    ;
  constructor two(dynamic x) → self::B1
    : super self::A1::•(invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:11:24: Error: The argument type 'dynamic' can't be assigned to the parameter type 'int'.
  B1.two(dynamic super.x) : super(); // Error.
                       ^" in x as{TypeError} core::int)
    ;
}
class A2 extends core::Object {
  constructor •({required core::String x}) → self::A2
    : super core::Object::•()
    ;
}
class B2 extends self::A2 {
  constructor one({required dynamic x}) → self::B2
    : super self::A2::•(x: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:19:34: Error: The argument type 'dynamic' can't be assigned to the parameter type 'String'.
  B2.one({required dynamic super.x}); // Error.
                                 ^" in x as{TypeError} core::String)
    ;
  constructor two({required dynamic x}) → self::B2
    : super self::A2::•(x: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:20:34: Error: The argument type 'dynamic' can't be assigned to the parameter type 'String'.
  B2.two({required dynamic super.x}) : super(); // Error.
                                 ^" in x as{TypeError} core::String)
    ;
}
class A3 extends core::Object {
  constructor •((core::double) → core::num f) → self::A3
    : super core::Object::•()
    ;
}
class B3 extends self::A3 {
  constructor one(<X extends core::Object? = dynamic>(core::double) → X% f) → self::B3
    : super self::A3::•(invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:28:38: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
  B3.one(X Function<X>(double) super.f); // Error.
                                     ^" in f as{TypeError} (core::double) → core::num)
    ;
  constructor two(<X extends core::Object? = dynamic>(core::double) → X% f) → self::B3
    : super self::A3::•(invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:29:38: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
  B3.two(X Function<X>(double) super.f) : super(); // Error.
                                     ^" in f as{TypeError} (core::double) → core::num)
    ;
}
class A4 extends core::Object {
  constructor •({required (core::double) → core::num f}) → self::A4
    : super core::Object::•()
    ;
}
class B4 extends self::A4 {
  constructor one({required <X extends core::Object? = dynamic>(core::double) → X% f}) → self::B4
    : super self::A4::•(f: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:37:48: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
  B4.one({required X Function<X>(double) super.f}); // Error.
                                               ^" in f as{TypeError} (core::double) → core::num)
    ;
  constructor two({required <X extends core::Object? = dynamic>(core::double) → X% f}) → self::B4
    : super self::A4::•(f: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:38:48: Error: The argument type 'X Function<X>(double)' can't be assigned to the parameter type 'num Function(double)'.
  B4.two({required X Function<X>(double) super.f}) : super(); // Error.
                                               ^" in f as{TypeError} (core::double) → core::num)
    ;
}
abstract class C5 extends core::Object {
  synthetic constructor •() → self::C5
    : super core::Object::•()
    ;
  abstract method call(core::int x, core::num y) → core::String;
}
class A5 extends core::Object {
  constructor •((core::int, core::num) → core::String f) → self::A5
    : super core::Object::•()
    ;
}
class B5 extends self::A5 {
  constructor one(self::C5 f) → self::B5
    : super self::A5::•(invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:50:19: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
 - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
  B5.one(C5 super.f); // Error.
                  ^" in f as{TypeError} (core::int, core::num) → core::String)
    ;
  constructor two(self::C5 f) → self::B5
    : super self::A5::•(invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:51:19: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
 - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
  B5.two(C5 super.f) : super(); // Error.
                  ^" in f as{TypeError} (core::int, core::num) → core::String)
    ;
}
class A6 extends core::Object {
  constructor •({required (core::int, core::num) → core::String f}) → self::A6
    : super core::Object::•()
    ;
}
class B6 extends self::A6 {
  constructor one({required self::C5 f}) → self::B6
    : super self::A6::•(f: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:59:29: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
 - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
  B6.one({required C5 super.f}); // Error.
                            ^" in f as{TypeError} (core::int, core::num) → core::String)
    ;
  constructor two({required self::C5 f}) → self::B6
    : super self::A6::•(f: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:60:29: Error: The argument type 'C5' can't be assigned to the parameter type 'String Function(int, num)'.
 - 'C5' is from 'pkg/front_end/testcases/super_parameters/no_coercions.dart'.
  B6.two({required C5 super.f}) : super(); // Error.
                            ^" in f as{TypeError} (core::int, core::num) → core::String)
    ;
}
class A7 extends core::Object {
  constructor •({required core::int x1, required core::int x2, required (core::Object) → core::bool f1, required (core::Object) → core::bool f2, required (dynamic) → void g1, required (dynamic) → void g2}) → self::A7
    : super core::Object::•()
    ;
}
class B7 extends self::A7 {
  constructor •({required dynamic x1, required dynamic x2, required <X extends core::Object? = dynamic>(core::Object) → X% f1, required <X extends core::Object? = dynamic>(core::Object) → X% f2, required <X extends core::Object? = dynamic>(X%) → void g1, required <X extends core::Object? = dynamic>(X%) → void g2}) → self::B7
    : super self::A7::•(x2: x2 as{TypeError,ForDynamic} core::int, f2: f2<core::bool>, g2: g2<dynamic>, x1: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:73:30: Error: The argument type 'dynamic' can't be assigned to the parameter type 'int'.
  B7({required dynamic super.x1, // Error.
                             ^" in x1 as{TypeError} core::int, f1: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:75:44: Error: The argument type 'X Function<X>(Object)' can't be assigned to the parameter type 'bool Function(Object)'.
 - 'Object' is from 'dart:core'.
      required X Function<X>(Object) super.f1, // Error.
                                           ^" in f1 as{TypeError} (core::Object) → core::bool, g1: invalid-expression "pkg/front_end/testcases/super_parameters/no_coercions.dart:77:42: Error: The argument type 'void Function<X>(X)' can't be assigned to the parameter type 'void Function(dynamic)'.
      required void Function<X>(X) super.g1, // Error.
                                         ^" in g1 as{TypeError} (dynamic) → void)
    ;
}
static method main() → dynamic {}