#2080. Update assertion texts of overriding tests (#2089)

Author: sgrekhov

Language/Classes/Abstract_Instance_Members/override_default_value_t01.dart

@@ -4,19 +4,20 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for p
-/// @description Checks that it is a static warning if an abstract method
-/// overrides an instance method and has a different default value for its
-/// optional parameter.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an abstract method overrides
+/// an instance method and has a different default value for its optional
+/// parameter.
 ///
 /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691
 ///
 /// @issue 27476
 /// @author msyabro
 
-
 class A {
   foo([x = 1]) {}
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t02.dart

@@ -4,13 +4,14 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that it is no static warning if an abstract method
-/// overrides an instance method and does not explicitly specify a default value
-/// for its optional parameter while the instance method does.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an abstract method overrides
+/// an instance method and does not explicitly specify a default value for its
+/// optional parameter while the instance method does.
 ///
 /// See
 /// https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691
@@ -20,7 +21,6 @@
 /// @issue 42195
 /// @author msyabro
 
-
 class A {
   foo([x = 1]) {}
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t03.dart

@@ -4,20 +4,20 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that it is a static warning if an instance method
-/// overrides an abstract method and has a different default value for its
-/// optional parameter.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an instance method overrides
+/// an abstract method and has a different default value for its optional
+/// parameter.
 ///
 /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691
 ///
 /// @issue 27476
 /// @author msyabro
 
-
 abstract class A {
   foo([x = 1]);
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t04.dart

@@ -4,20 +4,20 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that it is a static warning if an instance method
-/// overrides an abstract method and does not explicitly specify a default value
-/// for its optional parameter while the abstract method does.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an instance method overrides
+/// an abstract method and does not explicitly specify a default value for its
+/// optional parameter while the abstract method does.
 ///
 /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691
 ///
 /// @issue 27476
 /// @author msyabro
 
-
 abstract class A {
   foo([x = 1]);
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t05.dart

@@ -4,20 +4,20 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that it is a static warning if an abstract method
-/// overrides an abstract method and has a different default value for its
-/// optional parameter.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an abstract method overrides
+/// an abstract method and has a different default value for its optional
+/// parameter.
 ///
 /// See https://github.com/dart-lang/sdk/issues/34437#issuecomment-432093691
 ///
 /// @issue 27476
 /// @author msyabro
 
-
 abstract class A {
   foo([x = 1]);
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t06.dart

@@ -4,17 +4,17 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that it is a static warning if an abstract method
-/// overrides an abstract method and does not explicitly specify a default value
-/// for its optional parameter while the overridden method does.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an abstract method overrides
+/// an abstract method and does not explicitly specify a default value for its
+/// optional parameter while the overridden method does.
 /// @author msyabro
 /// @issue 42195
 
-
 abstract class A {
   foo([x = 1]);
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t07.dart

@@ -4,16 +4,16 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that there are no static warnings if an abstract method
-/// overrides another abstract method and overridden method does not explicitly
-/// specify a default value for its optional parameter.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an abstract method overrides
+/// another abstract method and overridden method does not explicitly specify a
+/// default value for its optional parameter.
 /// @author msyabro
 
-
 abstract class A {
   foo([x]);
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t08.dart

@@ -4,16 +4,16 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that there are no static warnings if an abstract method
-/// overrides an instance method and overridden method does not explicitly
-/// specify a default value for its optional parameter.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an abstract method overrides
+/// an instance method and overridden method does not explicitly specify a
+/// default value for its optional parameter.
 /// @author msyabro
 
-
 class C {
   foo([x]) {}
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t09.dart

@@ -4,16 +4,16 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It is a static warning if an instance method m1 overrides an instance member
-/// m2, the signature of m2 explicitly specifies a default value for a formal
-/// parameter p and the signature of m1 specifies a different default value for
-/// p.
-/// @description Checks that there are no static warnings if an instance method
-/// overrides an abstract method and overridden method does not explicitly
-/// specify a default value for its optional parameter.
+/// It is not an error or warning if an instance method m1 overrides an instance
+/// member m2, the signature of m2 explicitly specifies a default value for a
+/// formal parameter p and the signature of m1 specifies a different default
+/// value for p
+///
+/// @description Checks that it is not an error if an instance method overrides
+/// an abstract method and overridden method does not explicitly specify a
+/// default value for its optional parameter.
 /// @author msyabro
 
-
 abstract class A {
   foo([x]);
 }

Language/Classes/Abstract_Instance_Members/override_default_value_t10.dart

@@ -4,14 +4,14 @@
 
 /// @assertion Unless explicitly stated otherwise, all ordinary rules that apply
 /// to methods apply to abstract methods.
-/// It there is no static warning if an instance method m1 overrides an instance
+/// It is not an error or warning if an instance method m1 overrides an instance
 /// member m2, the signature of m2 explicitly specifies a default value for a
 /// formal parameter p and the signature of m1 specifies a different default
 /// value for p
 ///
-/// @description Checks that it is no static warning if an abstract method
-/// overrides an instance method and has a different default value for its
-/// optional parameter. Test type aliases
+/// @description Checks that it is not an error if an abstract method overrides
+/// an instance method and has a different default value for its optional
+/// parameter. Test type aliases
 ///
 /// See https://github.com/dart-lang/language/commit/6df1612f667f7fdd28dd3b66a89e06b75ea98d2a
 ///
@@ -21,6 +21,7 @@
 class A {
   foo([x = 1]) {}
 }
+
 typedef AAlias = A;
 
 class C extends AAlias {