library;
//
// Problems in library:
//
// pkg/front_end/testcases/records/named_fields_clashing_with_positional.dart:8:15: Error: Record field names can't be a dollar sign followed by an integer when integer is the index of a positional field.
// (int, {String $1}) test4() => throw 0; // Error.
//               ^^
//
// pkg/front_end/testcases/records/named_fields_clashing_with_positional.dart:16:28: Error: Record field names can't be a dollar sign followed by an integer when integer is the index of a positional field.
// (int, double, num, {String $3}) test12() => throw 0; // Error.
//                            ^^
//
import self as self;
import "dart:core" as core;

static method test1() → dynamic
  ;
static method test2() → dynamic
  ;
static method test3() → dynamic
  ;
static method test4() → invalid-type
  ;
static method test5() → ({required $1: core::bool})
  ;
static method test6() → (core::num, {required $2: core::double})
  ;
static method test7() → (core::num, {required $01: core::double})
  ;
static method test8() → (core::num, {required $0x1: core::double})
  ;
static method test9() → (core::num, core::bool, {required $01: core::double})
  ;
static method test10() → ({required $01: core::bool, required $0x1: core::int, required $1: core::String})
  ;
static method test11() → dynamic
  ;
static method test12() → invalid-type
  ;
static method main() → dynamic
  ;