blob: 300e666ae4c23ba61b362b32885714873ab1cf85 [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/records/record_type_errors.dart:6:5: Error: A record type with exactly one positional field requires a trailing comma.
// Try adding a trailing comma.
// (int) singleType = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:7:14: Error: Expected an identifier, but got '}'.
// Try inserting an identifier before '}'.
// (int, {String}) missingName = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:8:2: Error: Expected a type, but got 'var'.
// (var a, {var b}) missingType = throw '';
// ^^^
//
// pkg/front_end/testcases/records/record_type_errors.dart:8:2: Error: Expected ')' before this.
// (var a, {var b}) missingType = throw '';
// ^^^
//
// pkg/front_end/testcases/records/record_type_errors.dart:8:16: Error: A record type with exactly one positional field requires a trailing comma.
// Try adding a trailing comma.
// (var a, {var b}) missingType = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:9:8: Error: The list of named fields in a record type can't be empty.
// Try adding a named field to the list.
// (int, {}) emptyNamedFields = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:10:17: Error: Duplicated record type field name 'a'.
// Try renaming or removing one of the named record type fields.
// ({int a, String a}) duplicateNamedFields = throw '';
// ^
// pkg/front_end/testcases/records/record_type_errors.dart:10:7: Context: This is the existing record type field named 'a'.
// ({int a, String a}) duplicateNamedFields = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:11:17: Error: Duplicated record type field name 'a'.
// Try renaming or removing one of the named record type fields.
// ({int a, String a, double a, bool b, num b}) duplicateNamedFields2 = throw '';
// ^
// pkg/front_end/testcases/records/record_type_errors.dart:11:7: Context: This is the existing record type field named 'a'.
// ({int a, String a, double a, bool b, num b}) duplicateNamedFields2 = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:11:27: Error: Duplicated record type field name 'a'.
// Try renaming or removing one of the named record type fields.
// ({int a, String a, double a, bool b, num b}) duplicateNamedFields2 = throw '';
// ^
// pkg/front_end/testcases/records/record_type_errors.dart:11:7: Context: This is the existing record type field named 'a'.
// ({int a, String a, double a, bool b, num b}) duplicateNamedFields2 = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:11:42: Error: Duplicated record type field name 'b'.
// Try renaming or removing one of the named record type fields.
// ({int a, String a, double a, bool b, num b}) duplicateNamedFields2 = throw '';
// ^
// pkg/front_end/testcases/records/record_type_errors.dart:11:35: Context: This is the existing record type field named 'b'.
// ({int a, String a, double a, bool b, num b}) duplicateNamedFields2 = throw '';
// ^
//
import self as self;
import "dart:core" as core;
static field () emptyType;
static field (core::int) singleType;
static field invalid-type missingName;
static field (invalid-type) missingType;
static field (core::int) emptyNamedFields;
static field invalid-type duplicateNamedFields;
static field invalid-type duplicateNamedFields2;
static method method() void
;