dart-lang#2119. Fix typo in Subtyping tests description (dart-lang#2510)

sgrekhov · Feb 5, 2024 · 7960712 · 7960712
1 parent f1c579c
commit 7960712
Show file tree

Hide file tree

Showing 20 changed files with 20 additions and 20 deletions.
diff --git a/...atures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A02_t01.dart b/...atures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/...atures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A03_t01.dart b/...atures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/.../Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A02_t01.dart b/.../Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/.../Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A03_t01.dart b/.../Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/.../Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A02_t01.dart b/.../Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/.../Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A03_t01.dart b/.../Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/...ageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A02_t01.dart b/...ageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/...ageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A03_t01.dart b/...ageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then it cannot

diff --git a/...tures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A02_t01.dart b/...tures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...tures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A03_t01.dart b/...tures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...tures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A02_t01.dart b/...tures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...tures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A03_t01.dart b/...tures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...Features/Subtyping/static/generated/extension_type_fail_global_variable_fail_A02_t01.dart b/...Features/Subtyping/static/generated/extension_type_fail_global_variable_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...Features/Subtyping/static/generated/extension_type_fail_global_variable_fail_A03_t01.dart b/...Features/Subtyping/static/generated/extension_type_fail_global_variable_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...eFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A02_t01.dart b/...eFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...eFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A03_t01.dart b/...eFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 is not a subtype of a type T1, then

diff --git a/...ageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A02_t01.dart b/...ageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A02_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then instance

diff --git a/...ageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A03_t01.dart b/...ageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A03_t01.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 ///
 /// @description Check that if type T0 not a subtype of a type T1, then instance

diff --git a/LanguageFeatures/Subtyping/static/test_types/extension_type_fail_A02.dart b/LanguageFeatures/Subtyping/static/test_types/extension_type_fail_A02.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 
 // SharedOptions=--enable-experiment=inline-class

diff --git a/LanguageFeatures/Subtyping/static/test_types/extension_type_fail_A03.dart b/LanguageFeatures/Subtyping/static/test_types/extension_type_fail_A03.dart
@@ -12,7 +12,7 @@
 /// V0 is a proper subtype of each of V1 .. Vk
 ///
 /// @description Check that if a type `T1` is an extension type `V0`
-/// and `T0` is a superinterface of `T0` then `T0` is not a subtype of `T1`
+/// and `T0` is a superinterface of `V0` then `T0` is not a subtype of `T1`
 /// @author sgrekhov22@gmail.com
 
 // SharedOptions=--enable-experiment=inline-class