From 6e2b5ec8444683fe8814ecc1a7c3c57f3929b1a4 Mon Sep 17 00:00:00 2001 From: "Sergey G. Grekhov" Date: Mon, 29 Jan 2024 12:52:18 +0200 Subject: [PATCH] #2119. Fix typo in Subtyping tests description (#2510) --- .../extension_type_fail_arguments_binding_fail_A02_t01.dart | 2 +- .../extension_type_fail_arguments_binding_fail_A03_t01.dart | 2 +- ...xtension_type_fail_arguments_binding_mixin_fail_A02_t01.dart | 2 +- ...xtension_type_fail_arguments_binding_mixin_fail_A03_t01.dart | 2 +- ...xtension_type_fail_arguments_binding_super_fail_A02_t01.dart | 2 +- ...xtension_type_fail_arguments_binding_super_fail_A03_t01.dart | 2 +- .../extension_type_fail_class_member_fail_A02_t01.dart | 2 +- .../extension_type_fail_class_member_fail_A03_t01.dart | 2 +- .../extension_type_fail_class_member_mixin_fail_A02_t01.dart | 2 +- .../extension_type_fail_class_member_mixin_fail_A03_t01.dart | 2 +- .../extension_type_fail_class_member_super_fail_A02_t01.dart | 2 +- .../extension_type_fail_class_member_super_fail_A03_t01.dart | 2 +- .../extension_type_fail_global_variable_fail_A02_t01.dart | 2 +- .../extension_type_fail_global_variable_fail_A03_t01.dart | 2 +- .../extension_type_fail_local_variable_fail_A02_t01.dart | 2 +- .../extension_type_fail_local_variable_fail_A03_t01.dart | 2 +- .../extension_type_fail_return_value_fail_A02_t01.dart | 2 +- .../extension_type_fail_return_value_fail_A03_t01.dart | 2 +- .../Subtyping/static/test_types/extension_type_fail_A02.dart | 2 +- .../Subtyping/static/test_types/extension_type_fail_A03.dart | 2 +- 20 files changed, 20 insertions(+), 20 deletions(-) diff --git a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A02_t01.dart index 39d637565e..7a839bf84b 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A03_t01.dart index 146eab7c1e..114f4e0742 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A02_t01.dart index 1b81982779..1bf042438b 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A03_t01.dart index 0bdcd6e7bc..c8c2fae5a5 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A02_t01.dart index b8e3a6b38d..73dfe79a60 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A03_t01.dart index a2c06dd442..f855ad3169 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A02_t01.dart index 3b69ef273d..58a71cbcdb 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A03_t01.dart index 6af6e78615..78f57ec816 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A02_t01.dart index f5c4cca958..0012f6e8bc 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A03_t01.dart index 70e9374ff9..211934d9dd 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A02_t01.dart index e81903468c..28e2aa503e 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A03_t01.dart index e62f99487e..a6b0a55eb9 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_global_variable_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_global_variable_fail_A02_t01.dart index 9fc6802482..63c61e4c0b 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_global_variable_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_global_variable_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_global_variable_fail_A03_t01.dart index 3fb77775a0..9c4ff1a23d 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_global_variable_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A02_t01.dart index 217602f35f..534317a86a 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A03_t01.dart index c5e67ed94a..fa44ca7575 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A03_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A02_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A02_t01.dart index 92a1f92076..311f264d8e 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A02_t01.dart +++ b/LanguageFeatures/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/LanguageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A03_t01.dart b/LanguageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A03_t01.dart index b74773dfdf..cc106742a5 100644 --- a/LanguageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A03_t01.dart +++ b/LanguageFeatures/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 index 69dded03fe..7763ba54d3 100644 --- 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 index dbe8184d9b..15927b5963 100644 --- 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