Fixes #1107. Replace multitests by static errors tests
diff --git a/Language/Classes/Class_Member_Conflicts/static_member_and_constructor_t01.dart b/Language/Classes/Class_Member_Conflicts/static_member_and_constructor_t01.dart
index 2ac67b0..e6ff989 100644
--- a/Language/Classes/Class_Member_Conflicts/static_member_and_constructor_t01.dart
+++ b/Language/Classes/Class_Member_Conflicts/static_member_and_constructor_t01.dart
@@ -10,12 +10,24 @@
class C {
C.s() {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
- static set s(var value) {} //# 01: compile-time error
- static void s() {} //# 02: compile-time error
- static int s() => 1; //# 03: compile-time error
- static int get s => 1; //# 04: compile-time error
- static int s = 1; //# 05: compile-time error
+ static set s(var value) {}
+ static void s() {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int s() => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int get s => 1;
+ static int s = 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t01.dart b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t01.dart
index d077623..e7ee23f 100644
--- a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t01.dart
+++ b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t01.dart
@@ -13,17 +13,47 @@
void s() {}
void _s() {}
- static set s(var value) {} //# 01: compile-time error
- static void s() {} //# 02: compile-time error
- static int s() => 1; //# 03: compile-time error
- static int get s => 1; //# 04: compile-time error
- static int s = 1; //# 05: compile-time error
+ static set s(var value) {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static void s() {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int s() => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int get s => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int s = 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
- static set _s(var value) {} //# 06: compile-time error
- static void _s() {} //# 07: compile-time error
- static int _s() => 1; //# 08: compile-time error
- static int get _s => 1; //# 09: compile-time error
- static int _s = 1; //# 10: compile-time error
+ static set _s(var value) {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static void _s() {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int _s() => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int get _s => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int _s = 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t02.dart b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t02.dart
index 8cff871..5363347 100644
--- a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t02.dart
+++ b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t02.dart
@@ -13,17 +13,47 @@
set s(int v) {}
set _s(int v) {}
- static set s(var value) {} //# 01: compile-time error
- static void s() {} //# 02: compile-time error
- static int s() => 1; //# 03: compile-time error
- static int get s => 1; //# 04: compile-time error
- static int s = 1; //# 05: compile-time error
+ static set s(var value) {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static void s() {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int s() => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int get s => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int s = 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
- static set _s(var value) {} //# 06: compile-time error
- static void _s() {} //# 07: compile-time error
- static int _s() => 1; //# 08: compile-time error
- static int get _s => 1; //# 09: compile-time error
- static int _s = 1; //# 10: compile-time error
+ static set _s(var value) {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static void _s() {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int _s() => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int get _s => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ static int _s = 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t03.dart b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t03.dart
index f9f85c8..543ef91 100644
--- a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t03.dart
+++ b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t03.dart
@@ -13,17 +13,55 @@
int get s => 1;
int get _s => 2;
- static set s(var value) {} //# 01: compile-time error
- static void s() {} //# 02: compile-time error
- static int s() => 1; //# 03: compile-time error
- static int get s => 1; //# 04: compile-time error
- static int s = 1; //# 05: compile-time error
+ static set s(var value) {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
- static set _s(var value) {} //# 06: compile-time error
- static void _s() {} //# 07: compile-time error
- static int _s() => 1; //# 08: compile-time error
- static int get _s => 1; //# 09: compile-time error
- static int _s = 1; //# 10: compile-time error
+ static void s() {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int s() => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int get s => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int s = 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static set _s(var value) {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static void _s() {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int _s() => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int get _s => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int _s = 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t04.dart b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t04.dart
index 87afd23..6bcd8d7 100644
--- a/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t04.dart
+++ b/Language/Classes/Class_Member_Conflicts/static_member_and_instance_member_t04.dart
@@ -13,17 +13,55 @@
int s = 1;
int _s = 1;
- static set s(var value) {} //# 01: compile-time error
- static void s() {} //# 02: compile-time error
- static int s() => 1; //# 03: compile-time error
- static int get s => 1; //# 04: compile-time error
- static int s = 1; //# 05: compile-time error
+ static set s(var value) {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
- static set _s(var value) {} //# 06: compile-time error
- static void _s() {} //# 07: compile-time error
- static int _s() => 1; //# 08: compile-time error
- static int get _s => 1; //# 09: compile-time error
- static int _s = 1; //# 10: compile-time error
+ static void s() {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int s() => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int get s => 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int s = 1;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static set _s(var value) {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static void _s() {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int _s() => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int get _s => 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static int _s = 1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/Language/Expressions/Identifier_Reference/syntax_t02.dart b/Language/Expressions/Identifier_Reference/syntax_t02.dart
index 094392f..5b366b0 100644
--- a/Language/Expressions/Identifier_Reference/syntax_t02.dart
+++ b/Language/Expressions/Identifier_Reference/syntax_t02.dart
@@ -36,10 +36,21 @@
/// @description Checks that identifier can't start with digit.
/// @author msyabro
-
main() {
- int? 1a; //# 01: compile-time error
- String 2b = "It's wrong!"; //# 02: compile-time error
- var 3c; //# 03: compile-time error
- 4d; //# 04: compile-time error
+ int? 1a;
+//^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ String 2b = "It's wrong!";
+//^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ var 3c;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ 4d;
+//^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Expressions/Identifier_Reference/syntax_t04.dart b/Language/Expressions/Identifier_Reference/syntax_t04.dart
index 7d0e36e..165a80b 100644
--- a/Language/Expressions/Identifier_Reference/syntax_t04.dart
+++ b/Language/Expressions/Identifier_Reference/syntax_t04.dart
@@ -35,7 +35,6 @@
/// ;
/// @description Checks that identifier can't contain ' ' symbol.
/// @author msyabro
-/// @reviewer kaigorodov
class C {
bool x() {
diff --git a/Language/Expressions/Identifier_Reference/syntax_t07.dart b/Language/Expressions/Identifier_Reference/syntax_t07.dart
index de971f8..7ab3b1f 100644
--- a/Language/Expressions/Identifier_Reference/syntax_t07.dart
+++ b/Language/Expressions/Identifier_Reference/syntax_t07.dart
@@ -39,8 +39,20 @@
main() {
- int? 1a; //# 01: compile-time error
- String 2b = "It's wrong!"; //# 02: compile-time error
- var 3c; //# 03: compile-time error
- 4d; //# 04: compile-time error
+ int? а;
+//^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ String б = "It's wrong!";
+//^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ var в1;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ д2;
+//^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Expressions/Shift/integer_t05.dart b/Language/Expressions/Shift/integer_t05.dart
index a63b7f4..3315084 100644
--- a/Language/Expressions/Shift/integer_t05.dart
+++ b/Language/Expressions/Shift/integer_t05.dart
@@ -15,12 +15,33 @@
const int i2 = -11;
const int i3 = -12345;
- const res1 = i1 >>> i2; //# 01: compile-time error
- const res2 = i1 >>> i3; //# 02: compile-time error
- const res3 = i2 >>> i3; //# 03: compile-time error
- const res4 = i3 >>> i2; //# 04: compile-time error
+ const res1 = i1 >>> i2;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const res2 = i1 >>> i3;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const res3 = i2 >>> i3;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const res4 = i3 >>> i2;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- const res5 = i1 >>> -2; //# 05: compile-time error
- const res6 = 2000 >>> i3; //# 06: compile-time error
- const res7 = 2000 >>> -14; //# 07: compile-time error
+ const res5 = i1 >>> -2;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const res6 = 2000 >>> i3;
+// ^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const res7 = 2000 >>> -14;
+// ^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Generics/Superbounded_types/class_A01_t01.dart b/Language/Generics/Superbounded_types/class_A01_t01.dart
index f581508..7b86a5b 100644
--- a/Language/Generics/Superbounded_types/class_A01_t01.dart
+++ b/Language/Generics/Superbounded_types/class_A01_t01.dart
@@ -17,13 +17,21 @@
A<dynamic> a2;
A<Object?> a3;
- A<Object> a4; //# 01: compile-time error
+ A<Object> a4;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
A<void> a5;
A<Never> a6;
A<A<dynamic>> a7;
A<A<Object?>> a8;
- A<A<Object>> a9; //# 02: compile-time error
+ A<A<Object>> a9;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
A<A<void>> a10;
A<A<Never>> a11;
diff --git a/Language/Generics/Superbounded_types/class_A01_t04.dart b/Language/Generics/Superbounded_types/class_A01_t04.dart
index f1cd71b..698b515 100644
--- a/Language/Generics/Superbounded_types/class_A01_t04.dart
+++ b/Language/Generics/Superbounded_types/class_A01_t04.dart
@@ -20,14 +20,20 @@
bool b2 = 1 is A<dynamic>;
bool b3 = 1 is A<Object?>;
- bool b4 = 1 is A<Object>; //# 01: compile-time error
+ bool b4 = 1 is A<Object>;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
bool b5 = 1 is A<Never>;
bool b6 = 1 is A<void>;
bool b7 = 1 is A<A>;
bool b8 = 1 is A<A<dynamic>>;
bool b9 = 1 is A<A<Object?>>;
- bool b10 = 1 is A<A<Object>>; //# 02: compile-time error
+ bool b10 = 1 is A<A<Object>>;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
bool b12 = 1 is A<A<Never>>;
bool b13 = 1 is A<A<void>>;
}
diff --git a/Language/Generics/Superbounded_types/class_A01_t06.dart b/Language/Generics/Superbounded_types/class_A01_t06.dart
index 33889a6..7c251e6 100644
--- a/Language/Generics/Superbounded_types/class_A01_t06.dart
+++ b/Language/Generics/Superbounded_types/class_A01_t06.dart
@@ -20,14 +20,21 @@
var b2 = null as A<dynamic>?;
var b3 = null as A<Object?>?;
- var b4 = null as A<Object>?; //# 01: compile-time error
+ var b4 = null as A<Object>?;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
var b5 = null as A<Never>?;
var b6 = null as A<void>?;
var b7 = null as A<A>?;
var b8 = null as A<A<dynamic>>?;
var b9 = null as A<A<Object?>>?;
- var b10 = null as A<A<Object>>?; //# 02: compile-time error
+ var b10 = null as A<A<Object>>?;
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
var b11 = null as A<A<Never>>?;
var b12 = null as A<A<void>>?;
}
diff --git a/Language/Generics/Superbounded_types/function_A01_t06.dart b/Language/Generics/Superbounded_types/function_A01_t06.dart
index 351cb8a..ba43723 100644
--- a/Language/Generics/Superbounded_types/function_A01_t06.dart
+++ b/Language/Generics/Superbounded_types/function_A01_t06.dart
@@ -14,19 +14,52 @@
void testme<X extends Y, Y extends A<X>>() {}
main() {
- testme(); //# 01: compile-time error
+ testme();
+//^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- testme<Never, dynamic>(); //# 02: compile-time error
- testme<dynamic, Never>(); //# 03: compile-time error
- testme<dynamic, dynamic>(); //# 04: compile-time error
+ testme<Never, dynamic>();
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ testme<dynamic, Never>();
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ testme<dynamic, dynamic>();
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- testme<Null, Object?>(); //# 05: compile-time error
- testme<Object, Null>(); //# 06: compile-time error
- testme<Object, Object?>(); //# 07: compile-time error
+ testme<Null, Object?>();
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ testme<Object, Null>();
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ testme<Object, Object?>();
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- testme<Null, void>(); //# 08: compile-time error
- testme<void, Null>(); //# 09: compile-time error
- testme<void, void>(); //# 10: compile-time error
+ testme<Null, void>();
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ testme<void, Null>();
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ testme<void, void>();
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- testme<A<Null>, Null>(); //# 11: compile-time error
+ testme<A<Null>, Null>();
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Generics/Superbounded_types/typedef1_A01_t01.dart b/Language/Generics/Superbounded_types/typedef1_A01_t01.dart
index 5f8250b..b56748c 100644
--- a/Language/Generics/Superbounded_types/typedef1_A01_t01.dart
+++ b/Language/Generics/Superbounded_types/typedef1_A01_t01.dart
@@ -12,31 +12,90 @@
class A<T extends A<T>> {}
-typedef B1<X extends A> = void Function(); //# 01: compile-time error
-typedef B2<X extends A<A>> = void Function(); //# 02: compile-time error
-typedef B3<X extends A> = void Function(); //# 03: compile-time error
-typedef B4<X extends A<int>> = void Function(); //# 04: compile-time error
+typedef B1<X extends A> = void Function();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B2<X extends A<A>> = void Function();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B3<X extends A> = void Function();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B4<X extends A<int>> = void Function();
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B5<X extends A> = X Function();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B6<X extends A<A>> = X Function();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B7<X extends A> = X Function();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B8<X extends A<int>> = X Function();
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
-typedef B5<X extends A> = X Function(); //# 05: compile-time error
-typedef B6<X extends A<A>> = X Function(); //# 06: compile-time error
-typedef B7<X extends A> = X Function(); //# 07: compile-time error
-typedef B8<X extends A<int>> = X Function(); //# 08: compile-time error
+typedef B9<X extends A> = void Function(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B10<X extends A<A>> = void Function(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B11<X extends A> = void Function(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B12<X extends A<int>> = void Function(X);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
-typedef B9<X extends A> = void Function(X); //# 09: compile-time error
-typedef B10<X extends A<A>> = void Function(X); //# 10: compile-time error
-typedef B11<X extends A> = void Function(X); //# 11: compile-time error
-typedef B12<X extends A<int>> = void Function(X); //# 12: compile-time error
+typedef B13<X extends A> = void Function<X1 extends X>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B14<X extends A<A>> = void Function<X1 extends X>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B15<X extends A> = void Function<X1 extends X>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B16<X extends A<int>> = void Function<X1 extends X>();
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
-typedef B13<X extends A> = void Function<X1 extends X>(); //# 13: compile-time error
-typedef B14<X extends A<A>> = void Function<X1 extends X>(); //# 14: compile-time error
-typedef B15<X extends A> = void Function<X1 extends X>(); //# 15: compile-time error
-typedef B16<X extends A<int>> = void Function<X1 extends X>(); //# 16: compile-time error
-
-typedef B17<X extends A> = X Function(X); //# 17: compile-time error
-typedef B18<X extends A<A>> = X Function(X); //# 18: compile-time error
-typedef B19<X extends A> = X Function(X); //# 19: compile-time error
-typedef B20<X extends A<int>> = X Function(X); //# 20: compile-time error
+typedef B17<X extends A> = X Function(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B18<X extends A<A>> = X Function(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B19<X extends A> = X Function(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B20<X extends A<int>> = X Function(X);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
diff --git a/Language/Generics/Superbounded_types/typedef2_A01_t01.dart b/Language/Generics/Superbounded_types/typedef2_A01_t01.dart
index 2530063..3ccf5d2 100644
--- a/Language/Generics/Superbounded_types/typedef2_A01_t01.dart
+++ b/Language/Generics/Superbounded_types/typedef2_A01_t01.dart
@@ -12,9 +12,21 @@
class A<T extends A<T>> {}
-typedef void B1<X extends A>(X); //# 01: compile-time error
-typedef void B2<X extends A<A>>(X); //# 02: compile-time error
-typedef void B3<X extends A<int>>(X); //# 03: compile-time error
+typedef void B1<X extends A>(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+typedef void B2<X extends A<A>>(X);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+typedef void B3<X extends A<int>>(X);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
main() {
}
diff --git a/Language/Generics/Superbounded_types/typedef3_A01_t01.dart b/Language/Generics/Superbounded_types/typedef3_A01_t01.dart
index 65f0d2a..e97080d 100644
--- a/Language/Generics/Superbounded_types/typedef3_A01_t01.dart
+++ b/Language/Generics/Superbounded_types/typedef3_A01_t01.dart
@@ -12,9 +12,18 @@
class A<T extends A<T>> {}
-typedef B1<X extends A> = A<X>; //# 01: compile-time error
-typedef B2<X extends A<A>> = A<X>; //# 02: compile-time error
-typedef B3<X extends A<int>> = A<X> //# 03: compile-time error
+typedef B1<X extends A> = A<X>;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B2<X extends A<A>> = A<X>;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef B3<X extends A<int>> = A<X>;
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
diff --git a/Language/Generics/Superbounded_types/typedef3_A01_t06.dart b/Language/Generics/Superbounded_types/typedef3_A01_t06.dart
index c2f0bf7..d7e7015 100644
--- a/Language/Generics/Superbounded_types/typedef3_A01_t06.dart
+++ b/Language/Generics/Superbounded_types/typedef3_A01_t06.dart
@@ -16,6 +16,9 @@
typedef B<X extends A<X>> = A<X>;
main() {
- B<A<int>> b1; //# 01: compile-time error
+ B<A<int>> b1;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
B<A<A<A<B>>>> b2;
}
diff --git a/Language/Generics/class_A01_t04.dart b/Language/Generics/class_A01_t04.dart
index 547f4e8..b4cae3e 100644
--- a/Language/Generics/class_A01_t04.dart
+++ b/Language/Generics/class_A01_t04.dart
@@ -33,43 +33,64 @@
int, int, int, int, int, int, int, int, int, int, int, int, int, int,
int, int, int, int, int, int>();
- new ManyParameters<int>(); //# 01: compile-time error
- new ManyParameters<int, int>(); //# 02: compile-time error
- new ManyParameters<int, int, int>(); //# 03: compile-time error
+ new ManyParameters<int>();
+// ^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ new ManyParameters<int, int>();
+// ^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ new ManyParameters<int, int, int>();
+// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int, //# 04: compile-time error
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 04: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 04: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 04: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 04: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 04: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 04: continued
- int, int, int, int>(); //# 04: continued
+ new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int,
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int>();
- new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int, //# 05: compile-time error
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 05: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 05: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 05: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 05: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 05: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 05: continued
- int, int, int, int, int>(); //# 05: continued
+ new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int,
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int>();
- new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int, //# 06: compile-time error
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 06: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 06: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 06: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 06: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 06: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 06: continued
- int, int, int, int, int, int, int>(); //# 06: continued
+ new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int,
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int>();
- new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int, //# 07: compile-time error
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 07: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 07: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 07: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 07: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 07: continued
- int, int, int, int, int, int, int, int, int, int, int, int, int, int, //# 07: continued
- int, int, int, int, int, int, int, int>(); //# 07: continued
+ new ManyParameters<int, int, int, int, int, int, int, int, int, int, int, int,
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int, int, int, int, int, int, int,
+ int, int, int, int, int, int, int, int>();
}
diff --git a/Language/Generics/parameter_A01_t03.dart b/Language/Generics/parameter_A01_t03.dart
index ecd7416..4fa0b68 100644
--- a/Language/Generics/parameter_A01_t03.dart
+++ b/Language/Generics/parameter_A01_t03.dart
@@ -30,12 +30,23 @@
D d14 = Alias1<C>();
D d21 = Alias2();
- D d22 = Alias2<A>(); //# 01: compile-time error
+ D d22 = Alias2<A>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
D d23 = Alias2<B>();
D d24 = Alias2<C>();
D d31 = Alias3();
- D d32 = Alias3<A>(); //# 02: compile-time error
- D d33 = Alias3<B>(); //# 03: compile-time error
+ D d32 = Alias3<A>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ D d33 = Alias3<B>();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
D d34 = Alias3<C>();
}
diff --git a/Language/Generics/typedef_A01_t06.dart b/Language/Generics/typedef_A01_t06.dart
index 7d89f81..09ae4c9 100644
--- a/Language/Generics/typedef_A01_t06.dart
+++ b/Language/Generics/typedef_A01_t06.dart
@@ -32,8 +32,19 @@
typedef X6<T1, T2> = Map<T1, T2>;
typedef X7<T> = Object;
-typedef W1<T> = i; //# 01: compile-time error
-typedef W2<T> = 5; //# 02: compile-time error
-typedef W3<T> = A.callme<T1 extends T>(); //# 03: compile-time error
+typedef W1<T> = i;
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+typedef W2<T> = 5;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+typedef W3<T> = A.callme<T1 extends T>();
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {}
diff --git a/Language/Generics/typedef_A01_t11.dart b/Language/Generics/typedef_A01_t11.dart
index 4a140e3..bd77c0a 100644
--- a/Language/Generics/typedef_A01_t11.dart
+++ b/Language/Generics/typedef_A01_t11.dart
@@ -15,7 +15,6 @@
/// empty string.
/// @author iarkh@unipro.ru
-
class A {
static int callme() => 25;
}
@@ -31,13 +30,33 @@
typedef Alias4<T> = Alias1 Function(T, int, [int]);
typedef Alias5<T> = void Function(T, int, {int i, T t, num n});
-
-typedef WAlias1<T> = A() Function(T); //# 01: compile-time error
-typedef WAlias2<T, T2, T3> = A.callme() Function(T); //# 02: compile-time error
-typedef WAlias3<T> = A.callme Function(T, int, [int]);//# 03: compile-time error
-typedef WAlias4<T> = getme Function(T, int, [int]); //# 04: compile-time error
-typedef WAlias5<T> = getme() Function(T, int, [int]); //# 05: compile-time error
-typedef WAlias6<T> = i Function(T, int, [int]); //# 06: compile-time error
-typedef WAlias7<T> = str Function(T, int, [int]); //# 07: compile-time error
+typedef WAlias1<T> = A() Function(T);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef WAlias2<T, T2, T3> = A.callme() Function(T);
+// ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef WAlias3<T> = A.callme Function(T, int, [int]);
+// ^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef WAlias4<T> = getme Function(T, int, [int]);
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef WAlias5<T> = getme() Function(T, int, [int]);
+// ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef WAlias6<T> = i Function(T, int, [int]);
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef WAlias7<T> = str Function(T, int, [int]);
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {}
diff --git a/Language/Generics/typedef_A07_t01.dart b/Language/Generics/typedef_A07_t01.dart
index 3b7d948..90f1618 100644
--- a/Language/Generics/typedef_A07_t01.dart
+++ b/Language/Generics/typedef_A07_t01.dart
@@ -26,7 +26,9 @@
// SharedOptions=--enable-experiment=nonfunction-type-aliases
class A<T> {}
+
class B<T1, T2> {}
+
class C<T1, T2, T3> {}
typedef AAlias<T> = A<T>;
@@ -34,21 +36,48 @@
typedef CAlias<T1, T2, T3> = C<T1, T2, T3>;
main() {
- AAlias a1;
- AAlias<int> a2;
- AAlias<dynamic, dynamic> a3; //# 01: compile-time error
- AAlias<int, dynamic, String> a4; //# 02: compile-time error
- AAlias<int, dynamic, String, dynamic> a5; //# 03: compile-time error
+ AAlias a1;
+ AAlias<int> a2;
+ AAlias<dynamic, dynamic>? a3;
+//^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ AAlias<int, dynamic, String>? a4;
+//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ AAlias<int, dynamic, String, dynamic>? a5;
+//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- BAlias b1;
- BAlias<int> b2; //# 04: compile-time error
- BAlias<dynamic, dynamic> b3;
- BAlias<int, dynamic, String> b4; //# 05: compile-time error
- BAlias<int, dynamic, String, dynamic> b5; //# 06: compile-time error
+ BAlias b1;
+ BAlias<int>? b2;
+//^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ BAlias<dynamic, dynamic> b3;
+ BAlias<int, dynamic, String>? b4;
+//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ BAlias<int, dynamic, String, dynamic>? b5;
+//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- CAlias c1;
- CAlias<int> c2; //# 07: compile-time error
- CAlias<dynamic, dynamic> c3; //# 08: compile-time error
- CAlias<int, dynamic, String> c4;
- CAlias<int, dynamic, String, dynamic> c5; //# 09: compile-time error
+ CAlias c1;
+ CAlias<int>? c2;
+//^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ CAlias<dynamic, dynamic>? c3;
+//^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ CAlias<int, dynamic, String> c4;
+ CAlias<int, dynamic, String, dynamic>? c5;
+//^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Generics/typedef_A10_t01.dart b/Language/Generics/typedef_A10_t01.dart
index 3d597bc..5a1ce2f 100644
--- a/Language/Generics/typedef_A10_t01.dart
+++ b/Language/Generics/typedef_A10_t01.dart
@@ -16,9 +16,21 @@
main() {
AAlias a = AAlias();
- AAlias<int> a1; //# 01: compile-time error
- AAlias a2 = AAlias<int>(); //# 02: compile-time error
+ AAlias<int>? a1;
+//^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ AAlias a2 = AAlias<int>();
+// ^^^^^^^^^^^/
+// [analyzer] unspecified
+// [cfe] unspecified
- AAlias<dynamic> a3; //# 03: compile-time error
- AAlias a4 = new AAlias<dynamic>(); //# 04: compile-time error
+ AAlias<dynamic>? a3;
+//^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ AAlias a4 = new AAlias<dynamic>();
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/Language/Types/Type_Aliases/scope_t02.dart b/Language/Types/Type_Aliases/scope_t02.dart
index ede38b4..5025066 100644
--- a/Language/Types/Type_Aliases/scope_t02.dart
+++ b/Language/Types/Type_Aliases/scope_t02.dart
@@ -16,11 +16,26 @@
typedef AAlias = A;
typedef CAlias<T> = C<T>;
-typedef AAlias = A; //# 01: compile-time error
-typedef AAlias = C<String>; //# 02: compile-time error
-typedef CAlias<T> = C<T>; //# 03: compile-time error
-typedef CAlias = C<String>; //# 04: compile-time error
-typedef CAlias<T1, T2> = C<T1>; //# 05: compile-time error
+typedef AAlias = A;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef AAlias = C<String>;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef CAlias<T> = C<T>;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef CAlias = C<String>;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef CAlias<T1, T2> = C<T1>;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
diff --git a/Language/Types/Type_Aliases/syntax_t05.dart b/Language/Types/Type_Aliases/syntax_t05.dart
index f2ece63..f973a9f 100644
--- a/Language/Types/Type_Aliases/syntax_t05.dart
+++ b/Language/Types/Type_Aliases/syntax_t05.dart
@@ -17,13 +17,34 @@
class A {}
class C<T1, T2> {}
-typedef Alias1<T> = A<T>; //# 01: compile-time error
-typedef Alias2 = A<int>; //# 02: compile-time error
-typedef Alias3<T> = C<T>; //# 03: compile-time error
-typedef Alias4<T1, T2, T3> = C<T1, T2, T3>; //# 04: compile-time error
-typedef Alias5<T1, T2, T3> = C<T3>; //# 05: compile-time error
-typedef Alias6<T1, T2> = C<T1, T2, String>; //# 06: compile-time error
-typedef Alias7<T1, T2> = C<T2 extends T1>; //# 07: compile-time error
+typedef Alias1<T> = A<T>;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef Alias2 = A<int>;
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef Alias3<T> = C<T>;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef Alias4<T1, T2, T3> = C<T1, T2, T3>;
+// ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef Alias5<T1, T2, T3> = C<T3>;
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef Alias6<T1, T2> = C<T1, T2, String>;
+// ^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+typedef Alias7<T1, T2> = C<T2 extends T1>;
+// ^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
diff --git a/LanguageFeatures/Control-flow-collections/static_errors_A01_t01.dart b/LanguageFeatures/Control-flow-collections/static_errors_A01_t01.dart
index b57838e..f892496 100644
--- a/LanguageFeatures/Control-flow-collections/static_errors_A01_t01.dart
+++ b/LanguageFeatures/Control-flow-collections/static_errors_A01_t01.dart
@@ -12,10 +12,24 @@
main() {
- <int>[if (true) "not int"]; //# 01: compile-time error
- const <int>[if (true) "not int"]; //# 02: compile-time error
- List<int> l = [if (true) "not int"]; //# 03: compile-time error
-
- <int>[for (var i in []) "not int"]; //# 04: compile-time error
- List<int> l = [for (var i in []) "not int"]; //# 05: compile-time error
+ <int>[if (true) "not int"];
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const <int>[if (true) "not int"];
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ List<int> l = [if (true) "not int"];
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ <int>[for (var i in []) "not int"];
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ List<int> l1 = [for (var i in []) "not int"];
+// ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/Spread-collections/Syntax_A01_t04.dart b/LanguageFeatures/Spread-collections/Syntax_A01_t04.dart
index bd5a737..a8068ee 100644
--- a/LanguageFeatures/Spread-collections/Syntax_A01_t04.dart
+++ b/LanguageFeatures/Spread-collections/Syntax_A01_t04.dart
@@ -30,15 +30,39 @@
/// spreadable element is not a constant.
/// @author iarkh@unipro.ru
-
main() {
List list1 = ["abc", "int", "hello"];
List list2 = [];
int i = 0;
- List a = const [...list2]; //# 01: compile-time error
- a = const ["testme", ...list2]; //# 02: compile-time error
- a = const [...list2, "testme"]; //# 03: compile-time error
- a = const ["abc", ...list1, "int", "hello", 1, ...list2, 2, 12]; //# 04: compile-time error
- a = const [...list1, i]; //# 05: compile-time error
+ List a = const [...list2];
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ a = const ["testme", ...list2];
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ a = const [...list2, "testme"];
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ a = const ["abc", ...list1, "int", "hello",
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ 1, ...list2, 2, 12];
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ a = const [...list1,
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ i];
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/Super-mixins/declaration_t10.dart b/LanguageFeatures/Super-mixins/declaration_t10.dart
index f6de515..068339c 100644
--- a/LanguageFeatures/Super-mixins/declaration_t10.dart
+++ b/LanguageFeatures/Super-mixins/declaration_t10.dart
@@ -71,9 +71,9 @@
// [cfe] unspecified
// missing d
- String get b => "AI"; //# 03: compile-time error
- String get c => "AI"; //# 03: compile-time error
- String get e => "AI"; //# 03: compile-time error
+ String get b => "AI";
+ String get c => "AI";
+ String get e => "AI";
}
class AI4 implements A {
// ^^^
@@ -81,9 +81,9 @@
// [cfe] unspecified
// missing e
- String get b => "AI"; //# 04: compile-time error
- String get c => "AI"; //# 04: compile-time error
- String get d => "AI"; //# 04: compile-time error
+ String get b => "AI";
+ String get c => "AI";
+ String get d => "AI";
}
main() {
diff --git a/LanguageFeatures/Triple-Shift/Constants_A01_t05.dart b/LanguageFeatures/Triple-Shift/Constants_A01_t05.dart
index a5d9c50..f3b413b 100644
--- a/LanguageFeatures/Triple-Shift/Constants_A01_t05.dart
+++ b/LanguageFeatures/Triple-Shift/Constants_A01_t05.dart
@@ -20,8 +20,20 @@
}
main() {
- const MyClass c1 = MyClass(1.0, 1); //# 01: compile-time error
- const MyClass c2 = MyClass(125.12, 2); //# 02: compile-time error
- const MyClass c3 = MyClass("abcd", 2); //# 03: compile-time error
- const MyClass c4 = MyClass(12, "testme"); //# 04: compile-time error
+ const MyClass c1 = MyClass(1.0, 1);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c2 = MyClass(125.12, 2);
+// ^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c3 = MyClass("abcd", 2);
+// ^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c4 = MyClass(12, "testme");
+// ^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/Triple-Shift/Constants_A01_t08.dart b/LanguageFeatures/Triple-Shift/Constants_A01_t08.dart
index 44b52ff..f371c87 100644
--- a/LanguageFeatures/Triple-Shift/Constants_A01_t08.dart
+++ b/LanguageFeatures/Triple-Shift/Constants_A01_t08.dart
@@ -26,9 +26,24 @@
}
main() {
- const MyClass c1 = MyClass(d2, d1); //# 01: compile-time error
- const MyClass c2 = MyClass(d2, 2); //# 02: compile-time error
- const MyClass c3 = MyClass(d3, d0); //# 03: compile-time error
- const MyClass c4 = MyClass(12, d4); //# 04: compile-time error
- const MyClass c5 = MyClass(d4, d3); //# 05: compile-time error
+ const MyClass c1 = MyClass(d2, d1);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c2 = MyClass(d2, 2);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c3 = MyClass(d3, d0);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c4 = MyClass(12, d4);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c5 = MyClass(d4, d3);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/Triple-Shift/Constants_A01_t12.dart b/LanguageFeatures/Triple-Shift/Constants_A01_t12.dart
index 9f4bfd5..948524f 100644
--- a/LanguageFeatures/Triple-Shift/Constants_A01_t12.dart
+++ b/LanguageFeatures/Triple-Shift/Constants_A01_t12.dart
@@ -28,9 +28,24 @@
}
main() {
- const MyClass c1 = MyClass(d1, d4); //# 01: compile-time error
- const MyClass c2 = MyClass(d2, d5); //# 02: compile-time error
- const MyClass c3 = MyClass(11, -133); //# 03: compile-time error
- const MyClass c4 = MyClass(-2525, -19999); //# 04: compile-time error
- const MyClass c5 = MyClass(0, -4); //# 05: compile-time error
+ const MyClass c1 = MyClass(d1, d4);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c2 = MyClass(d2, d5);
+// ^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c3 = MyClass(11, -133);
+// ^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c4 = MyClass(-2525, -19999);
+// ^^^^^^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ const MyClass c5 = MyClass(0, -4);
+// ^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/nnbd/static_errors_A21_t01.dart b/LanguageFeatures/nnbd/static_errors_A21_t01.dart
index e5ea1d7..fa46402 100644
--- a/LanguageFeatures/nnbd/static_errors_A21_t01.dart
+++ b/LanguageFeatures/nnbd/static_errors_A21_t01.dart
@@ -11,27 +11,77 @@
/// late.
/// @author sgrekhov@unipro.ru
-
class C {
- C(late int x) {} //# 01: compile-time error
- C(int x, [late String y]) {} //# 02: compile-time error
- C(int x, {late String y}) {} //# 03: compile-time error
+ C(late int x) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
- static void s1(late int x) {} //# 04: compile-time error
- static void s2(int x, [late String y]) {} //# 05: compile-time error
- static void s3(int x, {late String y}) {} //# 06: compile-time error
+ C(int x, [late String y]) {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
- void m1(late int x) {} //# 07: compile-time error
- void m2(int x, [late String y]) {} //# 08: compile-time error
- void m3(int x, {late String y}) {} //# 09: compile-time error
+ C(int x, {late String y}) {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
- void set(late int x) {} //# 10: compile-time error
- C operator +(late C other) => other; //# 11: compile-time error
+ static void s1(late int x) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static void s2(int x, [late String y]) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ static void s3(int x, {late String y}) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void m1(late int x) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void m2(int x, [late String y]) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void m3(int x, {late String y}) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ void set(late int x) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ C operator +(late C other) => other;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
-void f1(late int x) {} //# 12: compile-time error
-void f2(int x, [late String y]) {} //# 13: compile-time error
-void f3(int x, {late String y}) {} //# 14: compile-time error
+void f1(late int x) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+void f2(int x, [late String y]) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+void f3(int x, {late String y}) {}
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
diff --git a/LanguageFeatures/nnbd/type-aliases/static_errors_A32_t03.dart b/LanguageFeatures/nnbd/type-aliases/static_errors_A32_t03.dart
index e633597..e3832ff 100644
--- a/LanguageFeatures/nnbd/type-aliases/static_errors_A32_t03.dart
+++ b/LanguageFeatures/nnbd/type-aliases/static_errors_A32_t03.dart
@@ -24,10 +24,32 @@
main() {
AAlias a = A();
CAlias c = C();
- a?.test(); //# 01: static type warning
- a?..test(); //# 02: static type warning
- a ?? c; //# 03: static type warning
- a ??= c; //# 04: static type warning
+ a?.test();
+// ^^
+// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
+//^
+// [cfe] Operand of null-aware operation '?.' has type 'A' which excludes null.
+ a?..test();
+// ^^^
+// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
+//^
+// [cfe] Operand of null-aware operation '?..' has type 'A' which excludes null.
+
+ a ?? c;
+// ^
+// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
+//^
+// [cfe] Operand of null-aware operation '??' has type 'A' which excludes null.
+ a ??= c;
+// ^
+// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
+//^
+// [cfe] Operand of null-aware operation '??=' has type 'A' which excludes null.
+
List<CAlias> clist = [C(), C()];
- List<A> alist = [A(), C(), ...? clist]; //# 05: static type warning
+ List<A> alist = [A(), C(), ...? clist];
+// ^^^^
+// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
+// ^
+// [cfe] Operand of null-aware operation '...?' has type 'List<C>' which excludes null.
}
diff --git a/LanguageFeatures/nnbd/weak/type-aliases/static_errors_A32_t03.dart b/LanguageFeatures/nnbd/weak/type-aliases/static_errors_A32_t03.dart
index 3801639..b3a77d4 100644
--- a/LanguageFeatures/nnbd/weak/type-aliases/static_errors_A32_t03.dart
+++ b/LanguageFeatures/nnbd/weak/type-aliases/static_errors_A32_t03.dart
@@ -24,10 +24,32 @@
main() {
AAlias a = A();
CAlias c = C();
- a?.test(); //# 01: static type warning
- a?..test(); //# 02: static type warning
- a ?? c; //# 03: static type warning
- a ??= c; //# 04: static type warning
+ a?.test();
+// ^^
+// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
+//^
+// [cfe] Operand of null-aware operation '?.' has type 'A' which excludes null.
+ a?..test();
+// ^^^
+// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
+//^
+// [cfe] Operand of null-aware operation '?..' has type 'A' which excludes null.
+
+ a ?? c;
+// ^
+// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
+//^
+// [cfe] Operand of null-aware operation '??' has type 'A' which excludes null.
+ a ??= c;
+// ^
+// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
+//^
+// [cfe] Operand of null-aware operation '??=' has type 'A' which excludes null.
+
List<CAlias> clist = [C(), C()];
- List<A> alist = [A(), C(), ...? clist]; //# 05: static type warning
+ List<A> alist = [A(), C(), ...? clist];
+// ^^^^
+// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
+// ^
+// [cfe] Operand of null-aware operation '...?' has type 'List<C>' which excludes null.
}
diff --git a/LanguageFeatures/regression/34087.dart b/LanguageFeatures/regression/34087.dart
index 6f3ffe8..a2219c7 100644
--- a/LanguageFeatures/regression/34087.dart
+++ b/LanguageFeatures/regression/34087.dart
@@ -16,10 +16,25 @@
}
main() {
- F testme = new F(); //# 01: compile-time error
- A<A>? a1 = testme(); //# 02: compile-time error
- A<A<A>>? a2 = testme(); //# 03: compile-time error
- A<A<A<A>>>? a3 = testme(); //# 04: compile-time error
- A<A<A<A<A>>>>? a4 = testme(); //# 05: compile-time error
- A<A<A<A<A<A>>>>>? a5 = testme(); //# 06: compile-time error
+ F testme = new F();
+ A<A>? a1 = testme();
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ A<A<A>>? a2 = testme();
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ A<A<A<A>>>? a3 = testme();
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ A<A<A<A<A>>>>? a4 = testme();
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ A<A<A<A<A<A>>>>>? a5 = testme();
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}