#1399. Tests for record types. Part 1 (#1395)

Authored by @sgrekhov. Record tests added.

Author: sgrekhov

LanguageFeatures/Records/record_class_A01_t01.dart

@@ -0,0 +1,24 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that all records have [Record] as a superclass
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+import "../../Utils/expect.dart";
+
+main() {
+  var record1 = (42, "Lily was here");
+  var record2 = (42, name: "Lily was here");
+  var record3 = (name: "Lily was here", type: "Record");
+  Expect.isTrue(record1 is Record);
+  Expect.isTrue(record2 is Record);
+  Expect.isTrue(record3 is Record);
+}

LanguageFeatures/Records/record_class_A02_t01.dart

@@ -0,0 +1,21 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that it is a compile error to construct [Record]
+/// instance
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+main() {
+  Record();
+//^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Records/record_class_A02_t02.dart

@@ -0,0 +1,23 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that it is a compile error to extend [Record] class
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+class R extends Record {
+//              ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  R();
+}

LanguageFeatures/Records/record_class_A02_t03.dart

@@ -0,0 +1,22 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that it is a compile error to mix-in [Record] class
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+mixin R on Record {
+//         ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+}

LanguageFeatures/Records/record_class_A02_t04.dart

@@ -0,0 +1,22 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that it is a compile error to mix-in [Record] class
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+class R = Object with Record;
+//                    ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+main() {
+  R();
+}

LanguageFeatures/Records/record_class_A02_t05.dart

@@ -0,0 +1,23 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that it is a compile error to implement [Record] class
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+class R implements Record {
+//                 ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  R();
+}

LanguageFeatures/Records/record_class_A02_t06.dart

@@ -0,0 +1,24 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that class [Record] may have an extension
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+import "../../Utils/expect.dart";
+
+extension on Record {
+  int foo() => 42;
+}
+
+main() {
+  var r = (3, 1, 4, name: "Pi");
+  Expect.equals(42, r.foo());
+}

LanguageFeatures/Records/record_class_A03_t01.dart

@@ -0,0 +1,21 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A built-in class [Record] with no members except those inherited
+/// from [Object]. All record types are a subtype of this class. This type
+/// cannot be constructed, extended, mixed in, or implemented by user-defined
+/// classes.
+///
+/// @description Checks that all records have [Record] as a superclass
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+Record foo(Record r) => (42, "Lily was here");
+
+main() {
+  foo(foo(("42", true)));
+  foo(foo((42, name: "Lily was here")));
+  foo(foo((name: "Lily was here", type: "Record")));
+}

LanguageFeatures/Records/record_expressions_A01_t01.dart

@@ -0,0 +1,41 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A record is created using a record expression. The grammar is:
+///
+/// literal      ::= record
+///                | // Existing literal productions...
+/// record       ::= '(' recordField ( ',' recordField )* ','? ')'
+/// recordField  ::= (identifier ':' )? expression
+///
+/// This is identical to the grammar for a function call argument list. There
+/// are a couple of syntactic restrictions not captured by the grammar. It is a
+/// compile-time error if a record has any of:
+///
+/// The same field name more than once.
+///
+/// No named fields and only one positional field. This avoids ambiguity with
+/// parenthesized expressions.
+///
+/// A field named hashCode, runtimeType, noSuchMethod, or toString.
+///
+/// A field name that starts with an underscore.
+///
+/// @description Checks that it is a compile-time error if a record has the same
+/// field name more than once
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+main() {
+  var record1 = (42, name: "Lily was here", name: "Hello");
+//                                          ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var record2 = (x: 42, x: 42);
+//                      ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Records/record_expressions_A01_t02.dart

@@ -0,0 +1,43 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A record is created using a record expression. The grammar is:
+///
+/// literal      ::= record
+///                | // Existing literal productions...
+/// record       ::= '(' recordField ( ',' recordField )* ','? ')'
+/// recordField  ::= (identifier ':' )? expression
+///
+/// This is identical to the grammar for a function call argument list. There
+/// are a couple of syntactic restrictions not captured by the grammar. It is a
+/// compile-time error if a record has any of:
+///
+/// The same field name more than once.
+///
+/// No named fields and only one positional field. This avoids ambiguity with
+/// parenthesized expressions.
+///
+/// A field named hashCode, runtimeType, noSuchMethod, or toString.
+///
+/// A field name that starts with an underscore.
+///
+/// @description Checks that it is a compile-time error if a record has the same
+/// field name more than once
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+Record foo() => (42, name: "Lily was here", name: "Hello");
+//                                          ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+void bar(Record r) {}
+
+main() {
+  bar((x: 42, x: 42));
+//            ^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Records/record_expressions_A02_t01.dart

@@ -0,0 +1,41 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A record is created using a record expression. The grammar is:
+///
+/// literal      ::= record
+///                | // Existing literal productions...
+/// record       ::= '(' recordField ( ',' recordField )* ','? ')'
+/// recordField  ::= (identifier ':' )? expression
+///
+/// This is identical to the grammar for a function call argument list. There
+/// are a couple of syntactic restrictions not captured by the grammar. It is a
+/// compile-time error if a record has any of:
+///
+/// The same field name more than once.
+///
+/// No named fields and only one positional field. This avoids ambiguity with
+/// parenthesized expressions.
+///
+/// A field named hashCode, runtimeType, noSuchMethod, or toString.
+///
+/// A field name that starts with an underscore.
+///
+/// @description Checks that it is a compile-time error if a record has no named
+/// fields and only one positional field
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+main() {
+  Record r1 = (42);
+//             ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  Record r2 = ((42));
+//             ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Records/record_expressions_A02_t02.dart

@@ -0,0 +1,53 @@
+// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion A record is created using a record expression. The grammar is:
+///
+/// literal      ::= record
+///                | // Existing literal productions...
+/// record       ::= '(' recordField ( ',' recordField )* ','? ')'
+/// recordField  ::= (identifier ':' )? expression
+///
+/// This is identical to the grammar for a function call argument list. There
+/// are a couple of syntactic restrictions not captured by the grammar. It is a
+/// compile-time error if a record has any of:
+///
+/// The same field name more than once.
+///
+/// No named fields and only one positional field. This avoids ambiguity with
+/// parenthesized expressions.
+///
+/// A field named hashCode, runtimeType, noSuchMethod, or toString.
+///
+/// A field name that starts with an underscore.
+///
+/// @description Checks that it is a compile-time error if a record has no named
+/// fields and only one positional field
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+Record foo1() => (42);
+//               ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+Record foo2() => ((42));
+//               ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+void bar(Record r) {}
+
+main() {
+  bar(("Hello"));
+//    ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  bar((("Hello")));
+//    ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}