Fixes #1505. [Records] Added tests for dynamic access to record fields (#1507)

* Fixes #1505. [Records] Added tests for dynamic access to record fields

* #1505. Typo fixed

Author: sgrekhov

LanguageFeatures/Records/members_A04_t01.dart

@@ -0,0 +1,56 @@
+// 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 type declares all of the members defined on [Object]. It
+/// also exposes getters for each named field where the name of the getter is
+/// the field's name and the getter's type is the field's type. For each
+/// positional field, it exposes a getter whose name is $ followed by the number
+/// of preceding positional fields and whose type is the type of the field.
+///
+/// @description Checks dynamic access to record fields
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+import "../../Utils/expect.dart";
+
+main() {
+  dynamic r1 = ();
+  dynamic r2 = (42,);
+  dynamic r3 = ((),);
+  dynamic r4 = (($100: "Lily was here"),);
+  dynamic r5 = (name: "name");
+  dynamic r6 = (3.14, name: "pi");
+
+  Expect.throws(() {r1.$0;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r1.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals(42, r2.$0);
+  Expect.throws(() {r2.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r2.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r2.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals((), r3.$0);
+  Expect.throws(() {r3.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r3.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r3.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals("Lily was here", r4.$0.$100);
+  Expect.throws(() {r4.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.$0.$0;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.$100;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals("name", r5.name);
+  Expect.throws(() {r5.$0;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r5.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r5.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals("pi", r6.name);
+  Expect.equals(3.14, r6.$0);
+  Expect.throws(() {r6.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r6.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r6.any;}, (e) => e is NoSuchMethodError);
+}

LanguageFeatures/Records/members_A04_t02.dart

@@ -0,0 +1,69 @@
+// 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 type declares all of the members defined on [Object]. It
+/// also exposes getters for each named field where the name of the getter is
+/// the field's name and the getter's type is the field's type. For each
+/// positional field, it exposes a getter whose name is $ followed by the number
+/// of preceding positional fields and whose type is the type of the field.
+///
+/// @description Checks dynamic access to record fields. Test functions and
+/// constructors as records fields
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+import "../../Utils/expect.dart";
+
+class C {
+  static int bar(int v) => v;
+  int x;
+  C(): this.x = 0;
+  C.init(this.x);
+}
+
+String foo(String s) => s;
+
+main() {
+  dynamic r1 = (foo,);
+  dynamic r2 = (C.init,);
+  dynamic r3 = (C.new,);
+  dynamic r4 = (foo: foo);
+  dynamic r5 = (newC: C.new, initC: C.init);
+  dynamic r6 = (foo, C.init, newC: C.new, cBar: C.bar);
+
+  Expect.equals("Lily was here", r1.$0("Lily was here"));
+  Expect.throws(() {r1.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r1.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r1.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals(42, r2.$0(42).x);
+  Expect.throws(() {r2.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r2.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r2.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals(0, r3.$0().x);
+  Expect.throws(() {r3.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r3.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r3.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals("Lily was here", r4.foo("Lily was here"));
+  Expect.throws(() {r4.$0;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals(0, r5.newC().x);
+  Expect.equals(-1, r5.initC(-1).x);
+  Expect.throws(() {r5.$0;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r5.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r5.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals("42", r6.$0("42"));
+  Expect.equals(-1, r6.$1(-1).x);
+  Expect.equals(0, r6.newC().x);
+  Expect.equals(1, r6.cBar(1));
+  Expect.throws(() {r6.$2;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r6.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r6.any;}, (e) => e is NoSuchMethodError);
+}

LanguageFeatures/Records/members_A04_t03.dart

@@ -0,0 +1,60 @@
+// 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 type declares all of the members defined on [Object]. It
+/// also exposes getters for each named field where the name of the getter is
+/// the field's name and the getter's type is the field's type. For each
+/// positional field, it exposes a getter whose name is $ followed by the number
+/// of preceding positional fields and whose type is the type of the field.
+///
+/// @description Checks dynamic access to record fields. Test generic functions
+/// and constructors as records fields
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=records
+
+import "../../Utils/expect.dart";
+
+class C<T> {
+  static X bar<X>(X v) => v;
+  T x;
+  C(this.x);
+}
+
+T foo<T>(T t) => t;
+
+main() {
+  dynamic r1 = (foo<int>,);
+  dynamic r2 = (C<String>.new,);
+  dynamic r3 = (foo: foo<int>);
+  dynamic r4 = (foo<String>, newC: C<int>.new, cBar: C.bar<bool>);
+
+  Expect.equals(42, r1.$0(42));
+  Expect.throws(() {r1.$0("");});
+  Expect.throws(() {r1.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r1.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r1.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals("Hi", r2.$0("Hi").x);
+  Expect.throws(() {r2.$0(42);});
+  Expect.throws(() {r2.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r2.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r2.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals(1, r3.foo(1));
+  Expect.throws(() {r3.foo("");});
+  Expect.throws(() {r3.$0;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r3.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r3.any;}, (e) => e is NoSuchMethodError);
+
+  Expect.equals("Lily was here", r4.$0("Lily was here"));
+  Expect.throws(() {r4.$0(42);});
+  Expect.equals(1, r4.newC(1).x);
+  Expect.throws(() {r4.newC("");});
+  Expect.isTrue(r4.cBar(true));
+  Expect.throws(() {r4.cBar(42);});
+  Expect.throws(() {r4.$1;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.$100000000000000000000;}, (e) => e is NoSuchMethodError);
+  Expect.throws(() {r4.any;}, (e) => e is NoSuchMethodError);
+}