blob: f738555433589f3a58a74a0ac1f537d2a6f8c234 [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 '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:8:2: Error: This couldn't be parsed.
// (var a, {var b}) missingType = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:15:7: 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:16:16: Error: Expected an identifier, but got '}'.
// Try inserting an identifier before '}'.
// (int, {String}) missingName = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:17:4: Error: Expected a type, but got 'var'.
// (var a, {var b}) missingType = throw '';
// ^^^
//
// pkg/front_end/testcases/records/record_type_errors.dart:17:4: Error: This couldn't be parsed.
// (var a, {var b}) missingType = throw '';
// ^
//
// pkg/front_end/testcases/records/record_type_errors.dart:17:4: Error: Expected ')' before this.
// (var a, {var b}) missingType = throw '';
// ^^^
//
// pkg/front_end/testcases/records/record_type_errors.dart:17:18: 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:18:10: 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:19:19: 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:19:9: 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:20:19: 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:20:9: 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:20:29: 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:20:9: 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:20:44: 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:20:37: 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 = throw "";
static field (core::int) singleType = throw "";
static field invalid-type missingName = throw "";
static field (invalid-type) missingType = throw "";
static field (core::int) emptyNamedFields = throw "";
static field invalid-type duplicateNamedFields = throw "";
static field invalid-type duplicateNamedFields2 = throw "";
static method method() void {
() emptyType = throw "";
(core::int) singleType = throw "";
invalid-type missingName = throw "";
(invalid-type) missingType = throw "";
(core::int) emptyNamedFields = throw "";
invalid-type duplicateNamedFields = throw "";
invalid-type duplicateNamedFields2 = throw "";
}