Issue #1086: Get rid of @compile-error tags in Language/Classes/Abstract_instance_Members, Language/Classes/Class_Member_conflicts, Language/Classes/Constructors/Constunt_Constructors tests.
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t01.dart b/Language/Classes/Abstract_Instance_Members/inherited_t01.dart
index 1020ed6..16fe45e 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t01.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t01.dart
@@ -11,12 +11,14 @@
* Object.
* @description Checks that it is a compile error if an abstract method is
* declared in a concrete class.
- * @compile-error
* @author kaigorodov
*/
class A {
foo([x]);
+//^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class B extends A {
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t02.dart b/Language/Classes/Abstract_Instance_Members/inherited_t02.dart
index 169bf6d..fc99d82 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t02.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t02.dart
@@ -11,7 +11,6 @@
* Object.
* @description Checks that it is a compile error if an abstract method is
* inherited in a concrete class.
- * @compile-error
* @author kaigorodov
*/
@@ -20,6 +19,9 @@
}
class C extends A {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t03.dart b/Language/Classes/Abstract_Instance_Members/inherited_t03.dart
index 22ee35d..27deb30 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t03.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t03.dart
@@ -11,12 +11,14 @@
* Object.
* @description Checks that it is a compile error if an abstract getter is
* declared in a concrete class.
- * @compile-error
* @author kaigorodov
*/
class A {
int get foo;
+//^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t04.dart b/Language/Classes/Abstract_Instance_Members/inherited_t04.dart
index 0debee6..aaf19e4 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t04.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t04.dart
@@ -11,7 +11,6 @@
* Object.
* @description Checks that it is a compile error if an abstract getter is
* inherited in a concrete class.
- * @compile-error
* @author kaigorodov
*/
@@ -20,6 +19,9 @@
}
class C extends A {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t05.dart b/Language/Classes/Abstract_Instance_Members/inherited_t05.dart
index 16db54a..166c5df 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t05.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t05.dart
@@ -11,12 +11,14 @@
* Object.
* @description Checks that it is a compile error if an abstract setter is
* declared in a concrete class.
- * @compile-error
* @author kaigorodov
*/
class A {
set foo(int v);
+//^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t06.dart b/Language/Classes/Abstract_Instance_Members/inherited_t06.dart
index 889b3df..21ea0e6 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t06.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t06.dart
@@ -11,7 +11,6 @@
* Object.
* @description Checks that it is a compile error if an abstract setter is
* inherited in a concrete class.
- * @compile-error
* @author kaigorodov
*/
@@ -20,6 +19,9 @@
}
class C extends A {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t13.dart b/Language/Classes/Abstract_Instance_Members/inherited_t13.dart
index 527c707..7c4a27d 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t13.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t13.dart
@@ -11,13 +11,15 @@
* Object.
* @description Checks that it is a compile error if an abstract method is
* declared in a concrete class. Test type aliases
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class A {
foo([x]);
+//^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
typedef AAlias = A;
diff --git a/Language/Classes/Abstract_Instance_Members/inherited_t14.dart b/Language/Classes/Abstract_Instance_Members/inherited_t14.dart
index cb8af17..43734f9 100644
--- a/Language/Classes/Abstract_Instance_Members/inherited_t14.dart
+++ b/Language/Classes/Abstract_Instance_Members/inherited_t14.dart
@@ -11,7 +11,6 @@
* Object.
* @description Checks that it is a compile error if an abstract method is
* inherited in a concrete class. Test type aliases
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -21,6 +20,9 @@
typedef AAlias = A;
class C extends AAlias {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/invocation_t02.dart b/Language/Classes/Abstract_Instance_Members/invocation_t02.dart
index 0140477..ddd7221 100644
--- a/Language/Classes/Abstract_Instance_Members/invocation_t02.dart
+++ b/Language/Classes/Abstract_Instance_Members/invocation_t02.dart
@@ -10,7 +10,6 @@
* invoked.
* @description Checks that it is a compile error when calling an
* abstract method that is inherited from non-direct superclass.
- * @compile-error
* @author vasya
*/
@@ -21,6 +20,9 @@
abstract class A1 extends A {}
abstract class A2 extends A1 {}
class C extends A2 {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/invocation_t05.dart b/Language/Classes/Abstract_Instance_Members/invocation_t05.dart
index 189d53e..5207942 100644
--- a/Language/Classes/Abstract_Instance_Members/invocation_t05.dart
+++ b/Language/Classes/Abstract_Instance_Members/invocation_t05.dart
@@ -10,19 +10,24 @@
* invoked.
* @description Checks that it is a compile error when calling an
* abstract method that is inherited from non-direct superclass. Test type alias
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
abstract class A {
m1();
}
typedef AAlias = A;
abstract class A1 extends AAlias {}
+
typedef A1Alias = A1;
abstract class A2 extends A1Alias {}
+
typedef A2Alias = A2;
class C extends A2Alias {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart
index d3961f0..58c42a7 100644
--- a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t01.dart
@@ -11,7 +11,6 @@
* @description Checks that it is a compile error if an instance method m1
* overrides an abstract instance member m2 and m1 has fewer positional
* parameters than m2.
- * @compile-error
* @author iefremov
*/
@@ -21,6 +20,9 @@
class C extends A {
foo(var a, [x]) {}
+//^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart
index d3bc205..43bf7d5 100644
--- a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t02.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced if m1 has fewer
* optional positional parameters than abstract method m2 (2 vs 3) and neither
* have any required parameters.
- * @compile-error
* @author iefremov
*/
@@ -21,6 +20,9 @@
class C extends A {
f([var x, var y]) {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart
index 485d594..58b0c96 100644
--- a/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_less_positional_parameters_t03.dart
@@ -11,7 +11,6 @@
* @description Checks that it is a compile error if an instance method m1
* overrides an abstract instance member m2 and m1 has fewer positional
* parameters than m2. Test type aliases
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -19,10 +18,13 @@
abstract class A {
foo(var a, [x, y]);
}
-typedef AAlais = A;
+typedef AAlias = A;
class C extends AAlias {
foo(var a, [x]) {}
+//^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t01.dart b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t01.dart
index dcef064..ac05cd5 100644
--- a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t01.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t01.dart
@@ -8,10 +8,9 @@
* to methods apply to abstract methods.
* It is a compile error if an instance method m1 overrides an instance member
* m2 and m1 has a greater number of required parameters than m2.
- * @description Checks that a compile error is produced when an abstract
- * method overrides a non-abstract instance method with the same name and
- * greater number of required parameters.
- * @compile-error
+ * @description Checks that a compile error is produced when an abstract method
+ * overrides a non-abstract instance method with the same name and greater
+ * number of required parameters.
* @author rodionov
*/
@@ -21,6 +20,9 @@
abstract class C extends A {
f(var x, var y);
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class D extends C {
diff --git a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t02.dart b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t02.dart
index bd26036..e8dcd42 100644
--- a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t02.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t02.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when a non-abstract
* instance method overrides an abstract method with the same name and greater
* number of required parameters.
- * @compile-error
* @author rodionov
*/
@@ -21,10 +20,16 @@
class C extends A {
f(var x, var y) {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
new C().f(2);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
new C().f(2, 2);
}
diff --git a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t03.dart b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t03.dart
index dc0ee15..cd973a4 100644
--- a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t03.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t03.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when an abstract
* method overrides another abstract method with the same name and a different
* number of required parameters.
- * @compile-error
* @author rodionov
*/
@@ -21,6 +20,9 @@
abstract class C extends A {
f(var x, var y);
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class D extends C {
@@ -29,6 +31,9 @@
main() {
new D().f(2);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
new D().f(2, 2);
}
diff --git a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t04.dart b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t04.dart
index 484c6a9..6de2ee7 100644
--- a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t04.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t04.dart
@@ -12,7 +12,6 @@
* method overrides another abstract method with the same name and greater
* number of required parameters even if the class declaring the second method
* is not a direct superclass of the other.
- * @compile-error
* @author rodionov
*/
@@ -24,6 +23,9 @@
abstract class C extends Foo {
f(var x, var y);
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class D extends C {
@@ -32,6 +34,9 @@
main() {
new D().f(2);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
new D().f(2, 2);
}
diff --git a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t05.dart b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t05.dart
index 2e38af5..416a5fe 100644
--- a/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t05.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_more_required_parameters_t05.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when an abstract
* method overrides a non-abstract instance method with the same name and
* greater number of required parameters. Test type aliases
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -23,6 +22,9 @@
abstract class C extends AAlias {
f(var x, var y);
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
typedef CAlias = C;
diff --git a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t01.dart b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t01.dart
index 1372ae5..723e4c6 100644
--- a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t01.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t01.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the overriding
* abstract method has fewer named parameters than the instance method being
* overridden (2 vs 3) and neither have any required parameters.
- * @compile-error
* @author rodionov
*/
@@ -21,6 +20,9 @@
class C extends A {
f({var x, var z});
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t05.dart b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t05.dart
index 08ca7df..1d821e9 100644
--- a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t05.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t05.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the overriding
* non-abstract instance method has fewer named parameters than the abstract
* method being overridden.
- * @compile-error
* @author rodionov
*/
@@ -21,6 +20,9 @@
class C extends A {
f({var x, var z}) {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t06.dart b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t06.dart
index 05e5d7e..8cd7304 100644
--- a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t06.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t06.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the overriding
* instance method has almost the same set of named parameters as the abstract
* method being overriden, except for one that has a different name.
- * @compile-error
* @author rodionov
*/
@@ -21,6 +20,9 @@
class C extends A {
f({var x, var yy, var z}) {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t07.dart b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t07.dart
index 79dae7b..12a7233 100644
--- a/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t07.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_no_named_parameters_t07.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the overriding
* abstract method has fewer named parameters than the instance method being
* overridden (2 vs 3) and neither have any required parameters. Test type alias
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -23,6 +22,9 @@
class C extends AAlias {
f({var x, var z});
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t01.dart b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t01.dart
index b711e0d..fa82d2c 100644
--- a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t01.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t01.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the return type of
* an abstract method m1 is not assignable to the return type of non-abstract m2
* (parameters of both methods being completely identical).
- * @compile-error
* @author rodionov
*/
@@ -21,6 +20,9 @@
abstract class B extends A {
String foo(var x);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C extends B {
diff --git a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t02.dart b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t02.dart
index e3be46b..39f774e 100644
--- a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t02.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t02.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the type of a
* non-abstract m1 is not a subtype of the abstract m2's type because their
* respective required parameter types are not mutually assignable.
- * @compile-error
* @author rodionov
*/
@@ -20,8 +19,10 @@
}
class C extends A {
- foo(String x) {
- }
+ foo(String x) {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t03.dart b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t03.dart
index 9ce0fb5..29b2a81 100644
--- a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t03.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t03.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the type of an
* abstract m1 is not a subtype of the non-abstract m2's type because their
* respective optional positional parameter types are not mutually assignable.
- * @compile-error
* @author rodionov
*/
@@ -21,11 +20,13 @@
abstract class B extends A {
foo([String? x]);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class C extends B {
- foo([String? x]) {
- }
+ foo([String? x]) {}
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t04.dart b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t04.dart
index 05dfd41..7bc150a 100644
--- a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t04.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t04.dart
@@ -12,7 +12,6 @@
* non-abstract m1 is not a subtype of the abstract m2's type because their
* respective required parameter types are not mutually assignable even if the
* class declaring the first method is not a direct subclass of the other.
- * @compile-error
* @author rodionov
*/
@@ -24,8 +23,10 @@
}
class C extends B {
- foo(String x) {
- }
+ foo(String x) {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t05.dart b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t05.dart
index 3dd23cf..095b25f 100644
--- a/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t05.dart
+++ b/Language/Classes/Abstract_Instance_Members/override_not_a_subtype_t05.dart
@@ -11,7 +11,6 @@
* @description Checks that a compile error is produced when the return type of
* an abstract method m1 is not assignable to the return type of non-abstract m2
* (parameters of both methods being completely identical). Test type aliases
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -23,6 +22,9 @@
abstract class B extends AAlias {
String foo(var x);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
typedef BAlias = B;
diff --git a/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t01.dart b/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t01.dart
index 6398e12..b045181 100644
--- a/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t01.dart
@@ -10,7 +10,6 @@
* @description Checks that compile error is produced if class declares a
* constant constructor and has instance variable which is initialised by
* not-constant expression
- * @compile-error
* @author sgrekhov@unipro.ru
*/
@@ -19,7 +18,12 @@
class C {
final x = new A();
+// ^^^
+// [cfe] unspecified
+
const C();
+//^^^^^
+// [analyzer] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t02.dart b/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t02.dart
index dad35fa..2180d0a 100644
--- a/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t02.dart
@@ -11,7 +11,6 @@
* constant constructor and has instance variable which is initialised by
* non-constant expression. Even there are also instance variables initialised
* by constant expressions
- * @compile-error
* @author sgrekhov@unipro.ru
*/
@@ -21,7 +20,12 @@
class C {
final y = 3;
final x = new A();
+// ^^^
+// [cfe] unspecified
+
const C();
+//^^^^^
+// [analyzer] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t03.dart b/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t03.dart
index 5de599b..ddcc830 100644
--- a/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t03.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/initializer_not_a_constant_t03.dart
@@ -8,16 +8,21 @@
* by a class C if any instance variable declared in C is initialized with an
* expression that is not a constant expression
* @description Checks that compile error is produced if class declares a
- * constant constructor and has instance variable which is initialised by
- * static non-constant expression.
- * @compile-error
+ * constant constructor and has instance variable which is initialised by static
+ * non-constant expression.
* @author sgrekhov@unipro.ru
*/
class C {
static final y = 1;
+
final x = y;
+// ^
+// [cfe] unspecified
+
const C();
+//^^^^^
+// [analyzer] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t01.dart b/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t01.dart
index f09eaec..e752f23 100644
--- a/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t01.dart
@@ -11,7 +11,6 @@
* @description Checks that compile-time error is produced if actual parameters
* passed to the constructor make the constant initializer invalid. Note: this
* mechanism is described in Classes.Constructors.Constant_Constructors.
- * @compile-error
* @author iefremov
*/
@@ -23,4 +22,7 @@
main() {
DateTime d = new DateTime.now();
var a = const A(d.millisecond);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t02.dart b/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t02.dart
index e355725..9825396 100644
--- a/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t02.dart
@@ -11,7 +11,6 @@
* @description Checks that compile-time error is produced if actual parameters
* passed to the constructor make the constant initializer invalid. Note: this
* mechanism is described in Classes.Constructors.Constant_Constructors.
- * @compile-error
* @author iefremov
*/
@@ -29,4 +28,7 @@
main() {
var a = const A(const IntPair(1, 2)); // parameter does not evaluate to int/bool/String, despite implementing the plus operator
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t03.dart b/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t03.dart
index b93ba7e..1606ac4 100644
--- a/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t03.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/invalid_constant_initializer_t03.dart
@@ -13,7 +13,6 @@
* mechanism is described in chapter Classes.Constructors.Constant_Constructors.
* Constant constructor invocation is placed outside of main(), in a global
* variable initialization expression.
- * @compile-error
* @author iefremov
*/
@@ -23,6 +22,9 @@
}
var a = const A(new DateTime.now().millisecondsSinceEpoch);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
var b = a;
diff --git a/Language/Classes/Constructors/Constant_Constructors/name_t01.dart b/Language/Classes/Constructors/Constant_Constructors/name_t01.dart
index cc7360b..54bec66 100644
--- a/Language/Classes/Constructors/Constant_Constructors/name_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/name_t01.dart
@@ -8,14 +8,17 @@
* immediately enclosing class.
* @description Checks that it's a compile-time error when M is the name of
* the type alias.
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class C {
const CAlias() {}
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
+
typedef CAlias = C;
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t01.dart b/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t01.dart
index 1997c58..c355254 100644
--- a/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t01.dart
@@ -8,12 +8,14 @@
* by a class that has a non-final instance variable.
* @description Checks that a compile-time error is produced when a class with
* constant constructor also declares a non-final instance variable.
- * @compile-error
* @author iefremov
*/
class A {
const A();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
var x;
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t02.dart b/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t02.dart
index 7f7dd6a..9936663 100644
--- a/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/non_final_instance_variable_t02.dart
@@ -8,7 +8,6 @@
* by a class that has a non-final instance variable.
* @description Checks that compile-time error is produced when a class with
* constant constructor inherits a non-final instance variable.
- * @compile-error
* @author iefremov
*/
@@ -21,6 +20,9 @@
class A extends CC {
const A();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart
index 1484f3c..9973def 100644
--- a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t01.dart
@@ -8,12 +8,11 @@
* by a class C if any instance variable declared in C is initialized with an
* expression that is not a constant expression.
* A superclass of C cannot declare such an initializer either, because it must
- * necessarily declare constant constructor as well (unless it is Object, which declares
- * no instance variables)
+ * necessarily declare constant constructor as well (unless it is Object, which
+ * declares no instance variables)
* @description Checks that compile error is produced if class declares a
* constant constructor and its superclass has instance variable initialized
* by non-constant expression
- * @compile-error
* @author sgrekhov@unipro.ru
*/
class A {
@@ -26,6 +25,9 @@
class C extends B {
final y = 1;
const C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart
index 00fd898..aa5672c 100644
--- a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t02.dart
@@ -14,7 +14,6 @@
* @description Checks that compile error is produced if class declares a
* constant constructor and its superclass has overriden instance variable
* initialized by non-constant expression.
- * @compile-error
* @author sgrekhov@unipro.ru
*/
class A {
@@ -26,9 +25,18 @@
class C extends B {
final x = 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
const C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
const C();
+//^^^^^^^^^
+// [analyzer] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart
index 774f84e..a3d1877 100644
--- a/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/not_a_constant_in_superclass_t03.dart
@@ -13,7 +13,6 @@
* @description Checks that compile error is produced if class declares a
* constant constructor and its superclass has instance variable initialized
* by non-constant expression. Test type alias
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -28,6 +27,9 @@
class C extends BAlias {
final y = 1;
const C();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t01.dart b/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t01.dart
index c2fd2b9..383534d 100644
--- a/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t01.dart
@@ -15,15 +15,19 @@
* by their immediately enclosing superexpression.
* @description Checks that it is a compile-time error when a constant
* constructor's initializer list contains non-constant list literal.
- * @compile-error
* @author iefremov
*/
class A {
final x;
const A(var p) : x = [p];
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
const A(1);
+// ^
+// [analyzer] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t02.dart b/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t02.dart
index 8137273..675d2ca 100644
--- a/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t02.dart
@@ -15,7 +15,6 @@
* by their immediately enclosing superexpression.
* @description Checks that it is a compile-time error when a constant
* constructor's initializer list contains a function call.
- * @compile-error
* @author iefremov
*/
@@ -24,8 +23,13 @@
class A {
final x;
const A() : x = f();
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
const A();
+// ^
+// [analyzer] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t03.dart b/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t03.dart
index 29b604c..577e114 100644
--- a/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t03.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/potentially_constant_expression_t03.dart
@@ -15,15 +15,19 @@
* by their immediately enclosing superexpression.
* @description Checks that it is a compile-time error when a constant
* constructor's initializer list contains an instance creation expression.
- * @compile-error
* @author iefremov
*/
class A {
final x;
const A() : x = new List.from([]);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
const A();
+// ^
+// [analyzer] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t01.dart b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t01.dart
index 64988e4..b275f00 100644
--- a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t01.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t01.dart
@@ -10,7 +10,6 @@
* compile-time error occurs.
* @description Checks that compile error is produced if implicit
* superinitializer is a call to non const constructor
- * @compile-error
* @author ilya
*/
@@ -20,6 +19,9 @@
class A extends C {
const A();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t02.dart b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t02.dart
index 7d8f3eb..8c4d4d1 100644
--- a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t02.dart
@@ -10,7 +10,6 @@
* compile-time error occurs.
* @description Checks that compile error is produced if explicit
* superinitializer is a call to non const constructor
- * @compile-error
* @author ilya
*/
@@ -21,6 +20,9 @@
class A extends C {
const A() : super.nonConst();
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t05.dart b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t05.dart
index 1e3f262..8c8deb2 100644
--- a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t05.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t05.dart
@@ -10,7 +10,6 @@
* compile-time error occurs.
* @description Checks that compile error is produced if implicit
* superinitializer is a call to non const constructor. Test type alias
- * @compile-error
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
@@ -21,6 +20,9 @@
class A extends CAlias {
const A();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t06.dart b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t06.dart
index d1d8d72..828af13 100644
--- a/Language/Classes/Constructors/Constant_Constructors/superinitializer_t06.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/superinitializer_t06.dart
@@ -13,6 +13,7 @@
* @author sgrekhov@unipro.ru
*/
// SharedOptions=--enable-experiment=nonfunction-type-aliases
+
class C {
const C();
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/syntax_t02.dart b/Language/Classes/Constructors/Constant_Constructors/syntax_t02.dart
index 4918b38..f2ecd4e 100644
--- a/Language/Classes/Constructors/Constant_Constructors/syntax_t02.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/syntax_t02.dart
@@ -10,14 +10,19 @@
* ;
* @description Checks that it is a compile-time error if the constructor name
* is missing.
- * @compile-error
* @author iefremov
*/
class A {
const ();
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
const A();
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/syntax_t03.dart b/Language/Classes/Constructors/Constant_Constructors/syntax_t03.dart
index e8e7d3a..2dd03c1 100644
--- a/Language/Classes/Constructors/Constant_Constructors/syntax_t03.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/syntax_t03.dart
@@ -8,16 +8,21 @@
* constantConstructorSignature:
* const qualified formalParameterList
* ;
- * @description Checks that it is a compile-time error if the constructor
- * formal parameters are missing.
- * @compile-error
+ * @description Checks that it is a compile-time error if the constructor formal
+ * parameters are missing.
* @author iefremov
*/
class A {
const A;
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
const A();
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Classes/Constructors/Constant_Constructors/syntax_t04.dart b/Language/Classes/Constructors/Constant_Constructors/syntax_t04.dart
index 317c919..a62d13b 100644
--- a/Language/Classes/Constructors/Constant_Constructors/syntax_t04.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/syntax_t04.dart
@@ -10,13 +10,17 @@
* ;
* @description Checks that it is a compile-time error if the semicolon at the
* end of constructor declaration is missing.
- * @compile-error
* @author iefremov
*/
class A {
const A()
-}
+//^^^^^
+// [cfe] unspecified
+ }
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
const A();
diff --git a/Language/Classes/Constructors/Constant_Constructors/syntax_t05.dart b/Language/Classes/Constructors/Constant_Constructors/syntax_t05.dart
index c1a64a7..da102a3 100644
--- a/Language/Classes/Constructors/Constant_Constructors/syntax_t05.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/syntax_t05.dart
@@ -10,12 +10,14 @@
* ;
* @description Checks that it is a compile-time error when a constant default
* constructor is declared as abstract.
- * @compile-error
* @author rodionov
*/
class C {
const abstract C();
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Constructors/Constant_Constructors/syntax_t06.dart b/Language/Classes/Constructors/Constant_Constructors/syntax_t06.dart
index 501bcbe..82ac8d1 100644
--- a/Language/Classes/Constructors/Constant_Constructors/syntax_t06.dart
+++ b/Language/Classes/Constructors/Constant_Constructors/syntax_t06.dart
@@ -10,12 +10,14 @@
* ;
* @description Checks that it is a compile-time error when a constant named
* constructor is declared as abstract.
- * @compile-error
* @author rodionov
*/
class C {
const abstract C.id();
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {