#1400. Dynamic semantics inline class test added (#2082)

Author: sgrekhov

LanguageFeatures/Inline-classes/dynamic_semantics_inline_class_A05_t01.dart

@@ -0,0 +1,42 @@
+// Copyright (c) 2023, 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 Consider an inline class declaration DV named Inline with
+/// representation name id and representation type R. Invocation of a
+/// non-redirecting generative inline class constructor proceeds as follows:
+/// A fresh, non-late, final variable v is created. An initializing formal
+/// this.id has the side-effect that it initializes v to the actual argument
+/// passed to this formal. An initializer list element of the form id = e or
+/// this.id = e is evaluated by evaluating e to an object o and binding v to o.
+/// During the execution of the constructor body, this and id are bound to the
+/// value of v. The value of the instance creation expression that gave rise to
+/// this constructor execution is the value of this.
+///
+/// @description Check that during the execution of the constructor body, this
+/// and `id` are bound to the value of `v`
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+import "../../Utils/expect.dart";
+
+inline class V1 {
+  final int id;
+  V1(this.id);
+}
+
+inline class V2<T> {
+  final T id;
+  V2(this.id);
+}
+
+main() {
+  int i = 42;
+  var v1 = V1(i);
+  Expect.identical(i, v1);
+
+  String s = "The String";
+  var v2 = V2<String>(s);
+  Expect.identical(s, v2);
+}