#1400. File renaming commit (#2075)

Author: sgrekhov

LanguageFeatures/Inline-classes/static_analysis_inline_class_A11_t01.dart

@@ -0,0 +1,49 @@
+// 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 Let DV be an inline class declaration named Inline with type
+/// parameters X1 extends B1, .. Xs extends Bs. Assume that DV declares a final
+/// instance variable with name id and type R.
+///
+/// We say that the declared representation type of Inline is R, and the
+/// instantiated representation type corresponding to Inline<T1,.. Ts> is
+/// [T1/X1, .. Ts/Xs]R.
+/// ...
+/// In the body of a member of an inline class declaration DV named Inline and
+/// declaring the type parameters X1, .. Xs, the static type of this is
+/// Inline<X1 .. Xs>. The static type of the representation name is the
+/// representation type.
+///
+/// @description Checks that static type of `this` in an inline class
+/// `Inline<X1 .. Xs>` is `Inline<X1 .. Xs>`
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=inline-class
+
+import "../../Utils/static_type_helper.dart";
+
+inline class V1 {
+  final int id;
+  V1(this.id);
+
+  test() {
+    this.expectStaticType<Exactly<V1>>();
+  }
+}
+
+inline class V2<T1, T2 extends num> {
+  final int id;
+  V2(this.id);
+
+  test() {
+    this.expectStaticType<Exactly<V2<T1, T2>>>();
+  }
+}
+
+main() {
+  V1(42).test();
+  V2(42).test();
+  V2<String, num>(42).test();
+  V2<int, int>(42).test();
+}

LanguageFeatures/Inline-classes/static_analysis_inline_class_A14_t02.dart renamed to LanguageFeatures/Inline-classes/static_analysis_inline_class_A12_t01.dart

@@ -2,48 +2,33 @@
 // 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 Let DV be an inline class declaration named Inline with type
-/// parameters X1 extends B1, .. Xs extends Bs. Assume that DV declares a final
-/// instance variable with name id and type R.
-///
-/// We say that the declared representation type of Inline is R, and the
-/// instantiated representation type corresponding to Inline<T1,.. Ts> is
-/// [T1/X1, .. Ts/Xs]R.
-/// ...
-/// In the body of a member of an inline class declaration DV named Inline and
-/// declaring the type parameters X1, .. Xs, the static type of this is
-/// Inline<X1 .. Xs>. The static type of the representation name is the
+/// @assertion The inline erasure of an inline type V is obtained by recursively
+/// replacing every subterm of V which is an inline type by the corresponding
 /// representation type.
 ///
-/// @description Checks that static type of `this` in an inline class
-/// `Inline<X1 .. Xs>` is `Inline<X1 .. Xs>`
+/// Let X1 extends B1, .. Xs extends Bs be a declaration of the type parameters
+/// of a generic entity (it could be a generic class, inline or not, or mixin,
+/// or typedef, or function). Let BBj be the inline erasure of Bj, for j in
+/// 1 .. s. It is a compile-time error if X1 extends BB1, .. Xs extends BBs has
+/// any compile-time errors.
+///
+/// @description Checks that if `BBj` is the inline erasure of `Bj`, for `j` in
+/// `1 .. s`, then it is a compile-time error if
+/// `X1 extends BB1, .. Xs extends BBs` has any compile-time errors.
 /// @author [email protected]
 
 // SharedOptions=--enable-experiment=inline-class
 
-import "../../Utils/static_type_helper.dart";
-
-inline class V1 {
-  final int id;
-  V1(this.id);
-
-  test() {
-    this.expectStaticType<Exactly<V1>>();
-  }
+inline class V<T> {
+  final T id;
+  V(this.id);
 }
 
-inline class V2<T1, T2 extends num> {
-  final int id;
-  V2(this.id);
-
-  test() {
-    this.expectStaticType<Exactly<V2<T1, T2>>>();
-  }
-}
+void foo<X extends V<Y>, Y extends X>() {} // foo<X extends Y, Y extends X>()
+//                 ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
 
 main() {
-  V1(42).test();
-  V2(42).test();
-  V2<String, num>(42).test();
-  V2<int, int>(42).test();
+  print(foo);
 }

LanguageFeatures/Inline-classes/static_analysis_inline_class_A13_t01.dart

@@ -2,50 +2,35 @@
 // 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 Let DV be an inline class declaration named V with representation
-/// type R. Assuming that all types have been fully alias expanded, we say that
-/// DV has a representation dependency on an inline class declaration DV2 if R
-/// contains an identifier id (possibly qualified) that resolves to DV2, or id
-/// resolves to an inline class declaration DV3 and DV3 has a representation
-/// dependency on DV2.
+/// @assertion A compile-time error occurs if an inline class constructor
+/// includes a superinitializer
 ///
-/// It is a compile-time error if an inline class declaration has a
-/// representation dependency on itself.
-///
-/// @description Checks that it is a compile-time error if an inline class has a
-/// dependency on itself.
+/// @description Checks that a compile-time error occurs if an inline class
+/// constructor includes a superinitializer
 /// @author [email protected]
 
 // SharedOptions=--enable-experiment=inline-class
 
-inline class V1 implements V2 {
-//           ^^
-// [analyzer] unspecified
-// [cfe] unspecified
+inline class V1 {
   final int id;
-  V1(this.id);
+  V1([this.id = 0]);
+  V1.x(this.id);
 }
 
-inline class V2 implements V3 {
-//           ^^
+inline class V2 implements V1 {
+  final int id = 0;
+  V2() : super();
+//       ^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
-  final int id;
-  V2(this.id);
-}
-
-typedef V1Alias = V1;
 
-inline class V3 implements V1Alias {
-//           ^^
+  V2.x(int i) : super.x(i);
+//              ^^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
-  final int id;
-  V3(this.id);
 }
 
 main() {
-  print(V1);
-  print(V2);
-  print(V3);
+  V1(42);
+  V2();
 }

LanguageFeatures/Inline-classes/static_analysis_inline_class_A14_t01.dart

@@ -2,33 +2,33 @@
 // 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 The inline erasure of an inline type V is obtained by recursively
-/// replacing every subterm of V which is an inline type by the corresponding
-/// representation type.
+/// @assertion A compile-time error occurs if an inline class constructor
+/// declares a super parameter
 ///
-/// Let X1 extends B1, .. Xs extends Bs be a declaration of the type parameters
-/// of a generic entity (it could be a generic class, inline or not, or mixin,
-/// or typedef, or function). Let BBj be the inline erasure of Bj, for j in
-/// 1 .. s. It is a compile-time error if X1 extends BB1, .. Xs extends BBs has
-/// any compile-time errors.
-///
-/// @description Checks that if `BBj` is the inline erasure of `Bj`, for `j` in
-/// `1 .. s`, then it is a compile-time error if
-/// `X1 extends BB1, .. Xs extends BBs` has any compile-time errors.
+/// @description Checks that a compile-time error occurs if an inline class
+/// constructor declares a super parameter
 /// @author [email protected]
 
 // SharedOptions=--enable-experiment=inline-class
 
-inline class V<T> {
-  final T id;
-  V(this.id);
+inline class V1 {
+  final int id;
+  V1(this.id, [Object? _]);
 }
 
-void foo<X extends V<Y>, Y extends X>() {} // foo<X extends Y, Y extends X>()
-//                 ^^^^
+inline class V2 implements V1 {
+  final int id;
+  V2(this.id, super.id);
+//            ^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 
+  V2.n(super.id);
+//     ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
 main() {
-  print(foo);
+  V2(42, 0);
 }

LanguageFeatures/Inline-classes/static_analysis_inline_class_A15_t01.dart

@@ -2,35 +2,23 @@
 // 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 compile-time error occurs if an inline class constructor
-/// includes a superinitializer
+/// @assertion An inline type V used as an expression (a type literal) is
+/// allowed and has static type Type.
 ///
-/// @description Checks that a compile-time error occurs if an inline class
-/// constructor includes a superinitializer
+/// @description Checks that an inline type `V` can be used as an expression (a
+/// type literal) is and has static type `Type`.
 /// @author [email protected]
 
 // SharedOptions=--enable-experiment=inline-class
 
-inline class V1 {
-  final int id;
-  V1([this.id = 0]);
-  V1.x(this.id);
-}
+import "../../Utils/static_type_helper.dart";
 
-inline class V2 implements V1 {
-  final int id = 0;
-  V2() : super();
-//       ^^^^^
-// [analyzer] unspecified
-// [cfe] unspecified
-
-  V2.x(int i) : super.x(i);
-//              ^^^^^^^
-// [analyzer] unspecified
-// [cfe] unspecified
+inline class V {
+  final int id;
+  V(this.id);
 }
 
 main() {
-  V1(42);
-  V2();
+  var t = V;
+  t.expectStaticType<Exactly<Type>>();
 }