Skip to content

Commit

Permalink
#2119. Fix typo in Subtyping tests description (#2510)
Browse files Browse the repository at this point in the history
  • Loading branch information
@sgrekhov
sgrekhov authored Jan 29, 2024
1 parent 80d05e0 commit 6e2b5ec
Show file tree
Hide file tree
Showing 20 changed files with 20 additions and 20 deletions.
2 changes: 1 addition & 1 deletion ...atures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion ...atures/Subtyping/static/generated/extension_type_fail_arguments_binding_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion .../Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion .../Subtyping/static/generated/extension_type_fail_arguments_binding_mixin_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion .../Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion .../Subtyping/static/generated/extension_type_fail_arguments_binding_super_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion ...ageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion ...ageFeatures/Subtyping/static/generated/extension_type_fail_class_member_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then it cannot
Expand Down
2 changes: 1 addition & 1 deletion ...tures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...tures/Subtyping/static/generated/extension_type_fail_class_member_mixin_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...tures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...tures/Subtyping/static/generated/extension_type_fail_class_member_super_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...Features/Subtyping/static/generated/extension_type_fail_global_variable_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...Features/Subtyping/static/generated/extension_type_fail_global_variable_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...eFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...eFeatures/Subtyping/static/generated/extension_type_fail_local_variable_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 is not a subtype of a type T1, then
Expand Down
2 changes: 1 addition & 1 deletion ...ageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A02_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then instance
Expand Down
2 changes: 1 addition & 1 deletion ...ageFeatures/Subtyping/static/generated/extension_type_fail_return_value_fail_A03_t01.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
///
/// @description Check that if type T0 not a subtype of a type T1, then instance
Expand Down
2 changes: 1 addition & 1 deletion LanguageFeatures/Subtyping/static/test_types/extension_type_fail_A02.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
// SharedOptions=--enable-experiment=inline-class
Expand Down
2 changes: 1 addition & 1 deletion LanguageFeatures/Subtyping/static/test_types/extension_type_fail_A03.dart
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 [email protected]
// SharedOptions=--enable-experiment=inline-class
Expand Down

0 comments on commit 6e2b5ec

Please sign in to comment.