#2559. Fix wrong assertion text in augmenting_constructors_A18_*.dart (…

…#2993)
dart-lang · Nov 25, 2024 · 7559f96 · 7559f96
1 parent 4a925ad
commit 7559f96
Show file tree

Hide file tree

Showing 14 changed files with 28 additions and 14 deletions.
diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t01.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t01.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t01_lib.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t01_lib.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t02.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t02.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t02_lib.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t02_lib.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t03.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t03.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a super

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t03_lib.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t03_lib.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a super

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t04.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t04.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is not an error to declare an augmenting
 /// redirecting generative constructor more than once and the fully merged

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t04_lib.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t04_lib.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if the augmented constructor has a

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t05.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t05.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t05_lib.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t05_lib.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t06.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t06.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if an introductory constructor has a body

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t06_lib.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t06_lib.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error to declare an augmenting
 /// redirecting generative constructor if an introductory constructor has a body

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t07.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t07.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.

diff --git a/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t07_lib.dart b/LanguageFeatures/Augmentation-libraries/augmenting_constructors_A18_t07_lib.dart
@@ -5,7 +5,8 @@
 /// @assertion Redirecting generative constructors
 /// ...
 /// It is a compile-time error if:
-/// - The augmented factory constructor has a body, or it is redirecting.
+/// - The augmented constructor has an initializer list or a body, or it has a
+///   redirection.
 ///
 /// @description Checks that it is a compile-time error if a merged constructor
 /// is cyclic.