From 160411c6a4f160437effdc4250575b601f4ee96f Mon Sep 17 00:00:00 2001 From: "Sergey G. Grekhov" Date: Thu, 13 Jul 2023 16:24:21 +0300 Subject: [PATCH] Fixes #2130. Fix roll failures, add issues numbers --- Language/Classes/Instance_Methods/covariant_A01_t02.dart | 2 +- Language/Classes/Instance_Methods/covariant_A01_t04.dart | 2 +- Language/Classes/Instance_Methods/covariant_A01_t06.dart | 3 +++ Language/Classes/Instance_Methods/covariant_A01_t15.dart | 1 + ...med_function_types_fail_arguments_binding_fail_A61_t01.dart | 1 + ...med_function_types_fail_arguments_binding_fail_A61_t02.dart | 1 + ...med_function_types_fail_arguments_binding_fail_A61_t03.dart | 1 + .../named_function_types_fail_class_member_fail_A61_t01.dart | 1 + .../named_function_types_fail_class_member_fail_A61_t02.dart | 1 + .../named_function_types_fail_class_member_fail_A61_t03.dart | 1 + ...named_function_types_fail_global_variable_fail_A61_t01.dart | 1 + .../named_function_types_fail_local_variable_fail_A61_t01.dart | 1 + .../named_function_types_fail_return_value_fail_A61_t01.dart | 1 + ...med_function_types_fail_arguments_binding_fail_A61_t01.dart | 1 + ...nction_types_fail_arguments_binding_mixin_fail_A61_t01.dart | 1 + ...nction_types_fail_arguments_binding_super_fail_A61_t01.dart | 1 + .../named_function_types_fail_class_member_fail_A61_t01.dart | 1 + ...ed_function_types_fail_class_member_mixin_fail_A61_t01.dart | 1 + ...ed_function_types_fail_class_member_super_fail_A61_t01.dart | 1 + ...named_function_types_fail_global_variable_fail_A61_t01.dart | 1 + .../named_function_types_fail_local_variable_fail_A61_t01.dart | 1 + .../named_function_types_fail_return_value_fail_A61_t01.dart | 1 + .../Subtyping/test_types/named_function_types_fail_A61.dart | 1 + 23 files changed, 25 insertions(+), 2 deletions(-) diff --git a/Language/Classes/Instance_Methods/covariant_A01_t02.dart b/Language/Classes/Instance_Methods/covariant_A01_t02.dart index ed27032902..6b7e213b0f 100644 --- a/Language/Classes/Instance_Methods/covariant_A01_t02.dart +++ b/Language/Classes/Instance_Methods/covariant_A01_t02.dart @@ -16,7 +16,7 @@ class A { void m1(covariant num a) {} void m2([covariant num a = 0]) {} - void m3({covariant a = 0}) {} + void m3({covariant num a = 0}) {} void m4({required covariant num a}) {} void set s(covariant num n) {} diff --git a/Language/Classes/Instance_Methods/covariant_A01_t04.dart b/Language/Classes/Instance_Methods/covariant_A01_t04.dart index 1a7d1bec61..ef3c065a11 100644 --- a/Language/Classes/Instance_Methods/covariant_A01_t04.dart +++ b/Language/Classes/Instance_Methods/covariant_A01_t04.dart @@ -16,7 +16,7 @@ class A { void m1(covariant num a) {} void m2([covariant num a = 0]) {} - void m3({covariant a = 0}) {} + void m3({covariant num a = 0}) {} void m4({required covariant num a}) {} void set s(covariant num n) {} diff --git a/Language/Classes/Instance_Methods/covariant_A01_t06.dart b/Language/Classes/Instance_Methods/covariant_A01_t06.dart index 5eb0d4099b..3b0c6e6a8b 100644 --- a/Language/Classes/Instance_Methods/covariant_A01_t06.dart +++ b/Language/Classes/Instance_Methods/covariant_A01_t06.dart @@ -34,6 +34,9 @@ abstract mixin class B { } class C extends A with B { +// ^ +// [cfe] unspecified + void m1(int a) {} // ^^ // [analyzer] unspecified diff --git a/Language/Classes/Instance_Methods/covariant_A01_t15.dart b/Language/Classes/Instance_Methods/covariant_A01_t15.dart index f29c293e12..026bf5c31a 100644 --- a/Language/Classes/Instance_Methods/covariant_A01_t15.dart +++ b/Language/Classes/Instance_Methods/covariant_A01_t15.dart @@ -12,6 +12,7 @@ /// with a covariant parameter `p` and there is another member with the same /// name but with the parameter which is a subtype of `p` /// @author sgrekhov22@gmail.com +/// @issue 52927 class A { void m1(num a) {} diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart index 23c3548854..86fe1ff547 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as an argument of type T1 diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t02.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t02.dart index 9f283cab10..a470738fc0 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t02.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t02.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as an argument of type T1. Test superclass members diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t03.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t03.dart index a527bdb061..64bb5c4301 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t03.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_arguments_binding_fail_A61_t03.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as an argument of type T1. Test mixin members diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t01.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t01.dart index 825a42fb4a..0611485f1f 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as a class member of type T1 diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t02.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t02.dart index 089170f2c3..99768cccee 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t02.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t02.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the superclass member of type T1 diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t03.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t03.dart index e99ecc763c..fd43fb9a25 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t03.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_class_member_fail_A61_t03.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the mixin member of type T1 diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_global_variable_fail_A61_t01.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_global_variable_fail_A61_t01.dart index 2ba2e9ab90..8e0d94a4cc 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_global_variable_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_global_variable_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the to global variable of type T1 diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_local_variable_fail_A61_t01.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_local_variable_fail_A61_t01.dart index 5632b6d615..6e562dca7d 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_local_variable_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_local_variable_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the to local variable of type T1 diff --git a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_return_value_fail_A61_t01.dart b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_return_value_fail_A61_t01.dart index 34e77451d8..26fd74fc38 100644 --- a/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_return_value_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/dynamic/generated/named_function_types_fail_return_value_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then instance /// of T0 cannot be used as a return value of type T1 diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart index 5185464e17..b4b51c3598 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as an argument of type T1. Global function required argument is diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_mixin_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_mixin_fail_A61_t01.dart index d556f6c216..172380c67c 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_mixin_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_mixin_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as an argument of type T1. Test mixin members. Super method required diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_super_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_super_fail_A61_t01.dart index e88e529667..1f853c2615 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_super_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_arguments_binding_super_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as an argument of type T1. Test superclass members. Super constructor diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_fail_A61_t01.dart index 7516f2062b..3580a45817 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then it cannot /// be used as a class member of type T1. Assignment to static and instance class diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_mixin_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_mixin_fail_A61_t01.dart index 126d59fc93..cdd9e3e115 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_mixin_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_mixin_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the mixin member of type T1. diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_super_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_super_fail_A61_t01.dart index b3e4fdca19..4b8d88f093 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_super_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_class_member_super_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the superclass member of type T1. diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_global_variable_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_global_variable_fail_A61_t01.dart index cbd60f7f7c..2c9c98585f 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_global_variable_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_global_variable_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the to global variable of type T1. diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_local_variable_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_local_variable_fail_A61_t01.dart index ae4bafa511..b2a92f86e9 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_local_variable_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_local_variable_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 is not a subtype of a type T1, then /// instance of T0 cannot be assigned to the to local variable of type T1. diff --git a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_return_value_fail_A61_t01.dart b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_return_value_fail_A61_t01.dart index 197327d4dd..0fffb60fa0 100644 --- a/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_return_value_fail_A61_t01.dart +++ b/LanguageFeatures/Subtyping/static/generated/named_function_types_fail_return_value_fail_A61_t01.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 /// /// @description Check that if type T0 not a subtype of a type T1, then instance /// of T0 cannot be used as a return value of type T1. Return value is tested. diff --git a/LanguageFeatures/Subtyping/test_types/named_function_types_fail_A61.dart b/LanguageFeatures/Subtyping/test_types/named_function_types_fail_A61.dart index 62d789bfa9..732aa1f3eb 100644 --- a/LanguageFeatures/Subtyping/test_types/named_function_types_fail_A61.dart +++ b/LanguageFeatures/Subtyping/test_types/named_function_types_fail_A61.dart @@ -23,6 +23,7 @@ /// an optional named argument of the same type and with the same name, then /// `T0` is not a subtype of `T1`. /// @author sgrekhov22@gmail.com +/// @issue 52928 typedef void F0({required int i}); typedef void F1({int i});