Issue #1086: Get rid of @compile-error tags in Language/Classes/Constructors/Factories tests.
diff --git a/Language/Classes/Constructors/Factories/accessible_class_t01.dart b/Language/Classes/Constructors/Factories/accessible_class_t01.dart
index ec0c4f9..0a073a1 100644
--- a/Language/Classes/Constructors/Factories/accessible_class_t01.dart
+++ b/Language/Classes/Constructors/Factories/accessible_class_t01.dart
@@ -10,12 +10,14 @@
* not a constructor of C.
* @description Checks that a compile error is produced if referenced type in
* redirecting constructor has an undefined id.
- * @compile-error
* @author ilya
*/
class F {
factory F() = C;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/accessible_class_t02.dart b/Language/Classes/Constructors/Factories/accessible_class_t02.dart
index bc62deb..514c2d6 100644
--- a/Language/Classes/Constructors/Factories/accessible_class_t02.dart
+++ b/Language/Classes/Constructors/Factories/accessible_class_t02.dart
@@ -10,7 +10,6 @@
* not a constructor of C.
* @description Checks that a compile error is produced if referenced type in
* redirecting constructor is a variable.
- * @compile-error
* @author ilya
*/
@@ -18,6 +17,9 @@
class F {
factory F() = variable;
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/accessible_class_t03.dart b/Language/Classes/Constructors/Factories/accessible_class_t03.dart
index 326d271..389ef81 100644
--- a/Language/Classes/Constructors/Factories/accessible_class_t03.dart
+++ b/Language/Classes/Constructors/Factories/accessible_class_t03.dart
@@ -10,13 +10,15 @@
* not a constructor of C.
* @description Checks that a compile error is produced if referenced type in
* redirecting constructor is a function.
- * @compile-error
* @author ilya
*/
function() {}
class F {
factory F() = function;
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/accessible_class_t04.dart b/Language/Classes/Constructors/Factories/accessible_class_t04.dart
index 8e285c3..f0c50fb 100644
--- a/Language/Classes/Constructors/Factories/accessible_class_t04.dart
+++ b/Language/Classes/Constructors/Factories/accessible_class_t04.dart
@@ -11,13 +11,19 @@
* @description Checks that a compile error is produced if referenced type in
* redirecting constructor is in fact an accessible type, but the
* referenced name does not denote a constructor.
- * @compile-error
* @author ilya
*/
class F {
factory F.foo() = C.foo;
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
factory F.bar() = C.bar;
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C implements F {
diff --git a/Language/Classes/Constructors/Factories/arguments_type_t01.dart b/Language/Classes/Constructors/Factories/arguments_type_t01.dart
index e54ae3e..34274c7 100644
--- a/Language/Classes/Constructors/Factories/arguments_type_t01.dart
+++ b/Language/Classes/Constructors/Factories/arguments_type_t01.dart
@@ -10,16 +10,25 @@
* @description Checks that a compile error is produced if factory constructor
* type parameters are not subtypes of bounds of corresponding type parameters
* of redirected class constructor.
- * @compile-error
* @author ilya
*/
class F <T extends String> {
factory F([T x]) = C;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C <T extends num> implements F<T> {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
C([T x]);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/const_modifier_t01.dart b/Language/Classes/Constructors/Factories/const_modifier_t01.dart
index df34ca2..e0041ea 100644
--- a/Language/Classes/Constructors/Factories/const_modifier_t01.dart
+++ b/Language/Classes/Constructors/Factories/const_modifier_t01.dart
@@ -8,12 +8,14 @@
* modifier but k' is not a constant constructor.
* @description Checks that it is a compile-error if const redirecting
* factory constructor redirects to non-const generative constructor
- * @compile-error
* @author ilya
*/
class F {
const factory F() = C;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C implements F {
diff --git a/Language/Classes/Constructors/Factories/const_modifier_t02.dart b/Language/Classes/Constructors/Factories/const_modifier_t02.dart
index 2998a49..560fc80 100644
--- a/Language/Classes/Constructors/Factories/const_modifier_t02.dart
+++ b/Language/Classes/Constructors/Factories/const_modifier_t02.dart
@@ -8,12 +8,14 @@
* modifier but k' is not a constant constructor.
* @description Checks that it is a compile-error if const redirecting
* factory constructor redirects to non-const redirecting factory constructor
- * @compile-error
* @author ilya
*/
class F1 {
const factory F1() = F2;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class F2 {
diff --git a/Language/Classes/Constructors/Factories/default_value_t01.dart b/Language/Classes/Constructors/Factories/default_value_t01.dart
index a66c3f7..e0d48ce 100644
--- a/Language/Classes/Constructors/Factories/default_value_t01.dart
+++ b/Language/Classes/Constructors/Factories/default_value_t01.dart
@@ -8,12 +8,14 @@
* value for an optional parameter.
* @description Checks that it is a compile-error if redirecting factory
* constructor specifies a default value for its optional positional parameter.
- * @compile-error
* @author ilya
*/
class F {
factory F(int x, [int y = 0]) = C;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C implements F {
diff --git a/Language/Classes/Constructors/Factories/default_value_t02.dart b/Language/Classes/Constructors/Factories/default_value_t02.dart
index 41f786a..05c1a62 100644
--- a/Language/Classes/Constructors/Factories/default_value_t02.dart
+++ b/Language/Classes/Constructors/Factories/default_value_t02.dart
@@ -8,12 +8,14 @@
* value for an optional parameter.
* @description Checks that it is a compile-error if redirecting factory
* constructor specifies a default value for its optional named parameter.
- * @compile-error
* @author ilya
*/
class F {
factory F(int x, {int y: 0}) = C;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C implements F {
diff --git a/Language/Classes/Constructors/Factories/function_type_t01.dart b/Language/Classes/Constructors/Factories/function_type_t01.dart
index af39504..5515dcd 100644
--- a/Language/Classes/Constructors/Factories/function_type_t01.dart
+++ b/Language/Classes/Constructors/Factories/function_type_t01.dart
@@ -10,7 +10,6 @@
* redirects to a constructor whose type is not a subtype of factory
* constructor function type. Checks the case when constructor parameter types
* are not assignable.
- * @compile-error
* @author ilya
*/
@@ -19,7 +18,10 @@
}
class C implements F {
- C(x,[int y]);
+ C(x,[int? y]);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/function_type_t02.dart b/Language/Classes/Constructors/Factories/function_type_t02.dart
index 59ece74..6a95a4b 100644
--- a/Language/Classes/Constructors/Factories/function_type_t02.dart
+++ b/Language/Classes/Constructors/Factories/function_type_t02.dart
@@ -10,13 +10,15 @@
* redirects to a constructor whose type is not a subtype of factory
* constructor function type. Checks the case when constructor return types
* are not assignable.
- * @compile-error
* @author ilya
*/
import "../../../../Utils/dynamic_check.dart";
class F {
factory F(x) = C;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C { // does not implement F, not assignable to F
diff --git a/Language/Classes/Constructors/Factories/name_t01.dart b/Language/Classes/Constructors/Factories/name_t01.dart
index 4db0885..c77930c 100644
--- a/Language/Classes/Constructors/Factories/name_t01.dart
+++ b/Language/Classes/Constructors/Factories/name_t01.dart
@@ -4,18 +4,22 @@
* BSD-style license that can be found in the LICENSE file.
*/
/**
- * @assertion It is a compile-time error if M is not the name of the
- * immediately enclosing class.
+ * @assertion It is a compile-time error if M is not the name of the immediately
+ * enclosing class.
* @description Checks that it's a compile-time error when factory keyword is
* followed by a name that is not a constructor name.
- * @compile-error
* @author rodionov
*/
class C {
- factory WrongClass() {}
+ factory WrongClass() => throw "Should not reach here";
+// ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
new C();
+// ^
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/name_t02.dart b/Language/Classes/Constructors/Factories/name_t02.dart
index 0bc2daf..9c56188 100644
--- a/Language/Classes/Constructors/Factories/name_t02.dart
+++ b/Language/Classes/Constructors/Factories/name_t02.dart
@@ -4,18 +4,23 @@
* BSD-style license that can be found in the LICENSE file.
*/
/**
- * @assertion It is a compile-time error if M is not the name of the
- * immediately enclosing class.
+ * @assertion It is a compile-time error if M is not the name of the immediately
+ * enclosing class.
* @description Checks that it's a compile-time error when factory keyword is
* followed by a name that is not a constructor name.
- * @compile-error
* @author rodionov
*/
class C {
- factory WrongClass.id() {}
+ factory WrongClass.id() => throw "Should not reach here";
+// ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
new C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/name_t03.dart b/Language/Classes/Constructors/Factories/name_t03.dart
index aa0f72c..2c6df05 100644
--- a/Language/Classes/Constructors/Factories/name_t03.dart
+++ b/Language/Classes/Constructors/Factories/name_t03.dart
@@ -4,20 +4,24 @@
* BSD-style license that can be found in the LICENSE file.
*/
/**
- * @assertion It is a compile-time error if M is not the name of the
- * immediately enclosing class.
- * @description Checks that it's a compile-time error when M is the name of
- * the enclosing class's superclass.
- * @compile-error
+ * @assertion It is a compile-time error if M is not the name of the immediately
+ * enclosing class.
+ * @description Checks that it's a compile-time error when M is the name of the
+ * enclosing class's superclass.
* @author rodionov
*/
class S {}
class C extends S {
- factory S() {}
+ factory S() => throw "Should not reach here";
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
new C();
+// ^
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/name_t04.dart b/Language/Classes/Constructors/Factories/name_t04.dart
index 6e91f82..fb6dffe 100644
--- a/Language/Classes/Constructors/Factories/name_t04.dart
+++ b/Language/Classes/Constructors/Factories/name_t04.dart
@@ -8,16 +8,20 @@
* immediately enclosing class.
* @description Checks that it's a compile-time error when M is the name of a
* function type alias available in the same scope.
- * @compile-error
* @author rodionov
*/
typedef foo();
class C {
- factory foo() {}
+ factory foo() => throw "Should not reach here";
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
new C();
+// ^
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/name_t05.dart b/Language/Classes/Constructors/Factories/name_t05.dart
index 374fb2b..b0a774b 100644
--- a/Language/Classes/Constructors/Factories/name_t05.dart
+++ b/Language/Classes/Constructors/Factories/name_t05.dart
@@ -8,16 +8,20 @@
* immediately enclosing class.
* @description Checks that it's a compile-time error when M is a name of an
* unrelated class available in the same scope.
- * @compile-error
* @author iefremov
*/
class Z {}
class C {
- factory Z() {}
+ factory Z() => throw "Should not reach here";
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
new C();
+// ^
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/name_t06.dart b/Language/Classes/Constructors/Factories/name_t06.dart
index 1c273f7..b4eb31e 100644
--- a/Language/Classes/Constructors/Factories/name_t06.dart
+++ b/Language/Classes/Constructors/Factories/name_t06.dart
@@ -4,11 +4,10 @@
* BSD-style license that can be found in the LICENSE file.
*/
/**
- * @assertion It is a compile-time error if M is not the name of the
- * immediately enclosing class.
- * @description Checks that it's a compile-time error when M is the name of
- * the type alias.
- * @compile-error
+ * @assertion It is a compile-time error if M is not the name of the immediately
+ * enclosing class.
+ * @description Checks that it's a compile-time error when M is the name of the
+ * type alias.
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -17,10 +16,15 @@
typedef SAlias = S;
class C extends S {
- factory SAlias() {}
+ factory SAlias() => throw "Should not reach here";
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
new C();
+// ^
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/name_t07.dart b/Language/Classes/Constructors/Factories/name_t07.dart
index c0b04c6..abed97c 100644
--- a/Language/Classes/Constructors/Factories/name_t07.dart
+++ b/Language/Classes/Constructors/Factories/name_t07.dart
@@ -4,20 +4,25 @@
* BSD-style license that can be found in the LICENSE file.
*/
/**
- * @assertion It is a compile-time error if M is not the name of the
- * immediately enclosing class.
- * @description Checks that it's a compile-time error when M is the name of
- * the type alias.
- * @compile-error
+ * @assertion It is a compile-time error if M is not the name of the immediately
+ * enclosing class.
+ * @description Checks that it's a compile-time error when M is the name of the
+ * type alias.
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class C {
- factory CAlias() {}
+ factory CAlias() => throw "Should not reach here";
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
+
typedef CAlias = C;
main() {
new C();
+// ^
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/redirecting_constructor_t02.dart b/Language/Classes/Constructors/Factories/redirecting_constructor_t02.dart
index 6c62e81..928cbe7 100644
--- a/Language/Classes/Constructors/Factories/redirecting_constructor_t02.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_constructor_t02.dart
@@ -13,13 +13,15 @@
* ;
* @description Checks that formal parameters list of redirecting factory
* constructor can not be omitted
- * @compile-error
* @author ilya
*/
class A {
A() {}
factory A.foo = C;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C extends A {
diff --git a/Language/Classes/Constructors/Factories/redirecting_constructor_t03.dart b/Language/Classes/Constructors/Factories/redirecting_constructor_t03.dart
index 2365735..9e6aa8c 100644
--- a/Language/Classes/Constructors/Factories/redirecting_constructor_t03.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_constructor_t03.dart
@@ -13,16 +13,20 @@
* ;
* @description Checks that parameters list can not occur after another class
* constructor name
- * @compile-error
* @author ilya
*/
class A {
A() {}
factory A.foo() = C();
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C extends A {
+// ^
+// [analyzer] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/redirecting_to_itself_t01.dart b/Language/Classes/Constructors/Factories/redirecting_to_itself_t01.dart
index ebbf5fd..db591d3 100644
--- a/Language/Classes/Constructors/Factories/redirecting_to_itself_t01.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_to_itself_t01.dart
@@ -9,12 +9,14 @@
* redirections.
* @description Checks that compile-error occurs when factory constructor
* redirects to itself.
- * @compile-error
* @author ilya
*/
class F {
factory F() = F;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/redirecting_to_itself_t02.dart b/Language/Classes/Constructors/Factories/redirecting_to_itself_t02.dart
index fad9c39..a3b1253 100644
--- a/Language/Classes/Constructors/Factories/redirecting_to_itself_t02.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_to_itself_t02.dart
@@ -9,12 +9,14 @@
* redirections.
* @description Checks that compile-error occurs when named factory constructor
* redirects to itself.
- * @compile-error
* @author ilya
*/
class F {
factory F.id() = F.id;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/redirecting_to_itself_t03.dart b/Language/Classes/Constructors/Factories/redirecting_to_itself_t03.dart
index a27101b..902292c 100644
--- a/Language/Classes/Constructors/Factories/redirecting_to_itself_t03.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_to_itself_t03.dart
@@ -9,12 +9,15 @@
* redirections.
* @description Checks that compile-error occurs when named factory constructor
* redirects to non-named and vice versa.
- * @compile-error
* @author ilya
*/
class F {
factory F() = F.id;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
factory F.id() = F;
}
diff --git a/Language/Classes/Constructors/Factories/redirecting_to_itself_t04.dart b/Language/Classes/Constructors/Factories/redirecting_to_itself_t04.dart
index c0ea681..509558a 100644
--- a/Language/Classes/Constructors/Factories/redirecting_to_itself_t04.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_to_itself_t04.dart
@@ -9,20 +9,28 @@
* redirections.
* @description Checks that compile-error occurs when factory constructor
* redirects to itself through a cycle.
- * @compile-error
* @author ilya
*/
class F1 {
factory F1() = F2;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class F2 {
factory F2() = F3;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class F3 {
factory F3() = F1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/redirecting_to_itself_t05.dart b/Language/Classes/Constructors/Factories/redirecting_to_itself_t05.dart
index 7204101..881c1a6 100644
--- a/Language/Classes/Constructors/Factories/redirecting_to_itself_t05.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_to_itself_t05.dart
@@ -9,14 +9,17 @@
* redirections.
* @description Checks that compile-error occurs when factory constructor
* redirects to itself. Test type alias
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class F {
factory F() = FAlias;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
+
typedef FAlias = F;
main() {
diff --git a/Language/Classes/Constructors/Factories/redirecting_to_itself_t06.dart b/Language/Classes/Constructors/Factories/redirecting_to_itself_t06.dart
index a626895..08133b3 100644
--- a/Language/Classes/Constructors/Factories/redirecting_to_itself_t06.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_to_itself_t06.dart
@@ -9,14 +9,19 @@
* redirections.
* @description Checks that compile-error occurs when named factory constructor
* redirects to non-named and vice versa. Test type aliases
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class F {
factory F() = FAlias.id;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
factory F.id() = FAlias;
+// ^^^^^^
+// [analyzer] unspecified
}
typedef FAlias = F;
diff --git a/Language/Classes/Constructors/Factories/redirecting_to_itself_t07.dart b/Language/Classes/Constructors/Factories/redirecting_to_itself_t07.dart
index 66707c5..b712410 100644
--- a/Language/Classes/Constructors/Factories/redirecting_to_itself_t07.dart
+++ b/Language/Classes/Constructors/Factories/redirecting_to_itself_t07.dart
@@ -9,22 +9,30 @@
* redirections.
* @description Checks that compile-error occurs when factory constructor
* redirects to itself through a cycle.
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class F1 {
factory F1() = F2;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
typedef F1Alias = F1;
class F2 {
factory F2() = F3;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class F3 {
factory F3() = FAlias1;
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Factories/return_type_t02.dart b/Language/Classes/Constructors/Factories/return_type_t02.dart
index b30fb00..715877d 100644
--- a/Language/Classes/Constructors/Factories/return_type_t02.dart
+++ b/Language/Classes/Constructors/Factories/return_type_t02.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when assigning the
* result of invoking factory constructor M to the variable whose type is not
* assignable to M.
- * @compile-error
* @author iefremov
*/
@@ -23,5 +22,8 @@
}
main() {
- int a = new A();
+ int a = A();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/return_type_t03.dart b/Language/Classes/Constructors/Factories/return_type_t03.dart
index 422184d..d28ed25 100644
--- a/Language/Classes/Constructors/Factories/return_type_t03.dart
+++ b/Language/Classes/Constructors/Factories/return_type_t03.dart
@@ -9,9 +9,8 @@
* otherwise the return type is M <T1, …, Tn>, where T1, …, Tn are the type
* parameters of the enclosing class.
* @description Checks that a compile error is produced when assigning the
- * result of invoking factory constructor M.id to the variable whose type
- * is not assignable to M.
- * @compile-error
+ * result of invoking factory constructor M.id to the variable whose type is not
+ * assignable to M.
* @author iefremov
*/
@@ -24,4 +23,7 @@
main() {
int a = new A.bcd();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/return_type_t06.dart b/Language/Classes/Constructors/Factories/return_type_t06.dart
index 0ae2a91..e494783 100644
--- a/Language/Classes/Constructors/Factories/return_type_t06.dart
+++ b/Language/Classes/Constructors/Factories/return_type_t06.dart
@@ -12,7 +12,6 @@
* constructor to a variable whose type is not assignable to M<T1,...,Tn>
* produces a compile error. Factory constructor name is that of its
* enclosing class.
- * @compile-error
* @author iefremov
*/
@@ -31,4 +30,7 @@
main() {
M<S3, int, int> m1 = new M<S2, num, Function>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/return_type_t07.dart b/Language/Classes/Constructors/Factories/return_type_t07.dart
index c893594..833febf 100644
--- a/Language/Classes/Constructors/Factories/return_type_t07.dart
+++ b/Language/Classes/Constructors/Factories/return_type_t07.dart
@@ -11,12 +11,9 @@
* @description Checks that assigning the result of invoking a factory
* constructor to a variable whose type is not assignable to M<T1,...,Tn>
* produces a compile error.
- * @compile-error
* @author rodionov
*/
-import "../../../../Utils/dynamic_check.dart";
-
class S1 {}
class S2 extends S1 {}
class S3 extends S2 {}
@@ -28,10 +25,11 @@
class M<T, U, V> implements I<T, U, V> {
}
-I<S3, int, int> m1;
+I<S3, int, int>? m1;
main() {
- checkTypeError(() {
- m1 = new I<S2, num, Function>();
- });
+ m1 = I<S2, num, Function>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t01.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t01.dart
index 121c126..1db7fc4 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t01.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t01.dart
@@ -8,16 +8,18 @@
* type is not a subtype of its actual return type.
* @description Checks that returning an object whose type is not subtype of M
* from factory constructor M produces a compile error.
- * @compile-error
* @author pagolubev
*/
class C {}
class A {
- factory A() { return new C(); }
+ factory A() => C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
- new A();
+ A();
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t02.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t02.dart
index 2fad343..7e42344 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t02.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t02.dart
@@ -8,16 +8,18 @@
* type is not a subtype of its actual return type.
* @description Checks that returning an object whose type is not subtype of M
* from factory M.id produces a compile error.
- * @compile-error
* @author pagolubev
*/
class C {}
class A {
- factory A.foo() { return new C(); }
+ factory A.foo() => C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
- new A.foo();
+ A.foo();
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t03.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t03.dart
index 0cafe75..f869d66 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t03.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t03.dart
@@ -8,16 +8,18 @@
* type is not a subtype of its actual return type.
* @description Checks that returning an object whose type is not subtype of M
* from factory constructor M produces a compile error.
- * @compile-error
* @author kaigorodov
*/
class C {}
class A extends C {
- factory A() { return new C(); }
+ factory A() => C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
- new A();
+ A();
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t04.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t04.dart
index d3e6a2a..d932c3e 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t04.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t04.dart
@@ -8,7 +8,6 @@
* type is not a subtype of its actual return type.
* @description Checks that returning an object whose type is not subtype of M
* from factory M.id produces a compile error.
- * @compile-error
* @author kaigorodov
*/
@@ -17,9 +16,12 @@
class C implements I {}
class A implements I {
- factory A.foo() { return new C(); }
+ factory A.foo() => C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
- new A.foo();
+ A.foo();
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t05.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t05.dart
index 1c74cf7..9467433 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t05.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t05.dart
@@ -13,7 +13,7 @@
abstract class A {
A();
- factory A.f() { return new C(); }
+ factory A.f() => new C();
}
class C extends A {}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t06.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t06.dart
index 53a11e7..1a26f35 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t06.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t06.dart
@@ -13,7 +13,7 @@
abstract class A {
A() {}
- factory A.foo() { return new C.foo(); }
+ factory A.foo() => new C.foo();
}
class C extends A {
@@ -21,5 +21,5 @@
}
main() {
- new A.foo();
+ A.foo();
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t08.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t08.dart
index 85e2155..ce3f51e 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t08.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t08.dart
@@ -8,7 +8,6 @@
* type is not a subtype of its actual return type.
* @description Checks that returning an object whose type is not subtype of M
* from factory constructor M produces a compile error. Test type alias
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -17,9 +16,12 @@
typedef CAlias = C;
class A extends C {
- factory A() { return new CAlias(); }
+ factory A() => CAlias();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
- new A();
+ A();
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t09.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t09.dart
index 0ac53e4..be9ee2b 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t09.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t09.dart
@@ -8,7 +8,6 @@
* type is not a subtype of its actual return type.
* @description Checks that returning an object whose type is not subtype of M
* from factory M.id produces a compile error. Test type alias
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -19,9 +18,12 @@
typedef CAlaias = C;
class A implements I {
- factory A.foo() { return new CAlias(); }
+ factory A.foo() => CAlias();
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
- new A.foo();
+ A.foo();
}
diff --git a/Language/Classes/Constructors/Factories/return_wrong_type_t10.dart b/Language/Classes/Constructors/Factories/return_wrong_type_t10.dart
index 9683f9a..ccb616b 100644
--- a/Language/Classes/Constructors/Factories/return_wrong_type_t10.dart
+++ b/Language/Classes/Constructors/Factories/return_wrong_type_t10.dart
@@ -14,7 +14,7 @@
abstract class A {
A() {}
- factory A.foo() { return new CAlias.foo(); }
+ factory A.foo() => CAlias.foo();
}
class C extends A {
@@ -23,5 +23,5 @@
typedef CAlias = C;
main() {
- new A.foo();
+ A.foo();
}
diff --git a/Language/Classes/Constructors/Factories/syntax_t03.dart b/Language/Classes/Constructors/Factories/syntax_t03.dart
index 733e04c..4110f29 100644
--- a/Language/Classes/Constructors/Factories/syntax_t03.dart
+++ b/Language/Classes/Constructors/Factories/syntax_t03.dart
@@ -12,12 +12,14 @@
* @description Checks that it is a compile-time error if a factory constructor
* declaration has the dot but not the named constructor identifier that should
* follow it.
- * @compile-error
* @author iefremov
*/
class C {
factory C.() = A;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements C{}
diff --git a/Language/Classes/Constructors/Factories/syntax_t04.dart b/Language/Classes/Constructors/Factories/syntax_t04.dart
index 5b18439..dcc5032 100644
--- a/Language/Classes/Constructors/Factories/syntax_t04.dart
+++ b/Language/Classes/Constructors/Factories/syntax_t04.dart
@@ -11,12 +11,14 @@
* ;
* @description Checks that it is a compile-time error if a factory constructor
* declaration is missing the formal parameter list.
- * @compile-error
* @author iefremov
*/
class C {
factory C{}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements C{}
diff --git a/Language/Classes/Constructors/Factories/syntax_t05.dart b/Language/Classes/Constructors/Factories/syntax_t05.dart
index b1140a1..4f64ff1 100644
--- a/Language/Classes/Constructors/Factories/syntax_t05.dart
+++ b/Language/Classes/Constructors/Factories/syntax_t05.dart
@@ -11,12 +11,14 @@
* ;
* @description Checks that it is a compile-time error if a factory constructor
* is constant.
- * @compile-error
* @author msyabro
*/
class C {
const factory C();
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
