library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart:15:23: Error: The static type of the explicit instantiation operand must be a generic function type but is 'A Function()'.
//  - 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart'.
// Try changing the operand or remove the type arguments.
// testFooExtraArgs() => A<int>.foo; // Error.
//                       ^
//
// pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart:16:23: Error: The static type of the explicit instantiation operand must be a generic function type but is 'A Function()'.
//  - 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart'.
// Try changing the operand or remove the type arguments.
// testNewExtraArgs() => A<int>.new; // Error.
//                       ^
//
// pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart:17:23: Error: The static type of the explicit instantiation operand must be a generic function type but is 'A Function()'.
//  - 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart'.
// Try changing the operand or remove the type arguments.
// testBarExtraArgs() => A<int>.bar; // Error.
//                       ^
//
import self as self;
import "dart:core" as core;

class A extends core::Object {
  constructor foo() → self::A
    : super core::Object::•() {}
  constructor •() → self::A
    : super core::Object::•() {}
  static factory bar() → self::A
    return new self::A::•();
}
static method testFoo() → dynamic
  return #C1;
static method testNew() → dynamic
  return #C2;
static method testBar() → dynamic
  return #C3;
static method testFooExtraArgs() → dynamic
  return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart:15:23: Error: The static type of the explicit instantiation operand must be a generic function type but is 'A Function()'.
 - 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart'.
Try changing the operand or remove the type arguments.
testFooExtraArgs() => A<int>.foo; // Error.
                      ^";
static method testNewExtraArgs() → dynamic
  return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart:16:23: Error: The static type of the explicit instantiation operand must be a generic function type but is 'A Function()'.
 - 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart'.
Try changing the operand or remove the type arguments.
testNewExtraArgs() => A<int>.new; // Error.
                      ^";
static method testBarExtraArgs() → dynamic
  return invalid-expression "pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart:17:23: Error: The static type of the explicit instantiation operand must be a generic function type but is 'A Function()'.
 - 'A' is from 'pkg/front_end/testcases/constructor_tearoffs/nongeneric_tearoff_without_context.dart'.
Try changing the operand or remove the type arguments.
testBarExtraArgs() => A<int>.bar; // Error.
                      ^";
static method main() → dynamic {}

constants  {
  #C1 = constructor-tearoff self::A::foo
  #C2 = constructor-tearoff self::A::•
  #C3 = constructor-tearoff self::A::bar
}