pkg/front_end/testcases/super_parameters/issue47741.dart.strong.modular.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/super_parameters/issue47741.dart:10:23: Error: The argument type 'double Function<T1>(int)' can't be assigned to the parameter type 'int Function<T>(int)'.
//   B.sub1(double super.bar1<T1>(int a1),);
//                       ^
//
// pkg/front_end/testcases/super_parameters/issue47741.dart:11:23: Error: The argument type 'double Function<T2>(int)' can't be assigned to the parameter type 'int Function<T>(int)'.
//   B.sub2(double super.bar2<T2>(int a2),);
//                       ^
//
import self as self;
import "dart:core" as core;

class A extends core::Object {
  constructor •(<T extends core::Object? = dynamic>(core::int) → core::int foo) → self::A
    : super core::Object::•()
    ;
}
class B extends self::A {
  constructor sub1(<T1 extends core::Object? = dynamic>(core::int) → core::double bar1) → self::B
    : super self::A::•(invalid-expression "pkg/front_end/testcases/super_parameters/issue47741.dart:10:23: Error: The argument type 'double Function<T1>(int)' can't be assigned to the parameter type 'int Function<T>(int)'.
  B.sub1(double super.bar1<T1>(int a1),);
                      ^" in bar1 as{TypeError} <T extends core::Object? = dynamic>(core::int) → core::int)
    ;
  constructor sub2(<T2 extends core::Object? = dynamic>(core::int) → core::double bar2) → self::B
    : super self::A::•(invalid-expression "pkg/front_end/testcases/super_parameters/issue47741.dart:11:23: Error: The argument type 'double Function<T2>(int)' can't be assigned to the parameter type 'int Function<T>(int)'.
  B.sub2(double super.bar2<T2>(int a2),);
                      ^" in bar2 as{TypeError} <T extends core::Object? = dynamic>(core::int) → core::int)
    ;
}
static method main() → dynamic {}