#2559. Update assertions in some Augmenting libraries tests

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t01.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t01_lib.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t02.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t02_lib.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t03.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t03_lib.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t04.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t04_lib.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t05.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A16_t05_lib.dart

@@ -4,6 +4,7 @@
 
 /// @assertion A non-redirecting factory constructor marked `augment` works in
 /// the same way as a normal function augmentation.
+///
 /// If it has a body, it replaces the body of the augmented constructor
 /// (if present), and it may invoke the augmented body by calling
 /// `augmented(arguments)`.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t01.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t01_lib.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t02.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t02_lib.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t03.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a super

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t03_lib.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a super

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t04.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is not an error to declare an augmenting
 /// redirecting generative constructor more than once and the fully merged

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t04_lib.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t05.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t05_lib.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t06.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if an introductory constructor has a body

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t06_lib.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if an introductory constructor has a body

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t07.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.

LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t07_lib.dart

@@ -5,7 +5,7 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented constructor has any initializers or a body.
+/// - The augmented factory constructor has a body, or it is redirecting.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t01.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a top-level function may be augmented and the
 /// original code is replaced by the augmentation

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t01_lib.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a top-level function may be augmented and the
 /// original code is replaced by the augmentation

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t02.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test a class.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t02_lib.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test a class.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t03.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test a mixin.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t03_lib.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test a mixin.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t04.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test an enum.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t04_lib.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test an enum.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t05.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test an extension.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t05_lib.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test an extension.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t06.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test an extension type.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t06_lib.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that a static method may be augmented and the original
 /// code is replaced by the augmentation. Test an extension type.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t07.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that an instance method may be augmented and the 
 /// original code is replaced by the augmentation. Test a class.

LanguageFeatures/Augmentation-libraries/augmenting_functions_A01_t07_lib.dart

@@ -3,8 +3,10 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A top-level function, static method, instance method, or operator
-/// may be augmented to wrap the original code in additional code. The
-/// augmentation replaces the original function body with the augmenting code.
+/// may be augmented to wrap the original code in additional code.
+/// ...
+/// The augmentation replaces the augmented function’s body with the augmenting
+/// function’s body.
 ///
 /// @description Checks that an instance method may be augmented and the 
 /// original code is replaced by the augmentation. Test a class.