#1086. @compile-errors replaced by static errors (LanguageFeatures/Super-mixins)
diff --git a/LanguageFeatures/Super-mixins/compatible_t01.dart b/LanguageFeatures/Super-mixins/compatible_t01.dart
index 43516e7..3b70d7e 100644
--- a/LanguageFeatures/Super-mixins/compatible_t01.dart
+++ b/LanguageFeatures/Super-mixins/compatible_t01.dart
@@ -12,19 +12,24 @@
/// @description Checks that it is a compile-time error for the mixin declaration
/// if the interfaces B and C are not compatible.
/// @issue 34713
-/// @compile-error
/// @author ngl@unipro.ru
/// @author sgrekhov@unipro.ru
-
class B {
int get n => 1;
+// ^
+// [cfe] unspecified
}
class C {
double get n => 2.0;
+// ^
+// [cfe] unspecified
}
mixin M on B, C {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/compatible_t04.dart b/LanguageFeatures/Super-mixins/compatible_t04.dart
index 8a8fac4..08da078 100644
--- a/LanguageFeatures/Super-mixins/compatible_t04.dart
+++ b/LanguageFeatures/Super-mixins/compatible_t04.dart
@@ -11,7 +11,6 @@
///
/// @description Checks that it is a compile-time error for the mixin declaration
/// if the interfaces B and C are not compatible.
-/// @compile-error
/// @author sgrekhov@unipro.ru
@@ -27,10 +26,15 @@
class C<T> extends B<T> {
}
-mixin M<X extends S, Y extends T> on A<X>, B<Y> {
+ mixin M<X extends S, Y extends T> on A<X>, B<Y> {
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class MA extends C<X> with M<X, Y> {
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/compatible_t05.dart b/LanguageFeatures/Super-mixins/compatible_t05.dart
index a5917c4..fdc373d 100644
--- a/LanguageFeatures/Super-mixins/compatible_t05.dart
+++ b/LanguageFeatures/Super-mixins/compatible_t05.dart
@@ -11,10 +11,8 @@
///
/// @description Checks that it is a compile-time error for the mixin declaration
/// if the interfaces B and C are not compatible.
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class S {}
class T {}
class X extends S {}
@@ -32,15 +30,31 @@
class C<T, S> extends B<T> implements J<S> {
}
-mixin M<X extends S, Y extends T> on A<X>, B<X> implements I<X>, J<X> {} //# 01: compile-time error
-class MA extends C<X, Y> with M<X, Y> {} //# 01: compile-time error
+ mixin M1<X extends S, Y extends T> on A<X>, B<X> implements I<X>, J<X> {}
+ class MA1 extends C<X, Y> with M1<X, Y> {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
-mixin M<X extends S, Y extends T> on A<X>, B<Y> implements I<X>, J<Y> {} //# 02: compile-time error
-class MA extends C<X, Y> with M<X, Y> {} //# 02: compile-time error
+ mixin M2<X extends S, Y extends T> on A<X>, B<Y> implements I<X>, J<Y> {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
-mixin M<X extends S, Y extends T> on A<Y>, B<X> implements I<X>, J<Y> {} //# 03: compile-time error
-class MA extends C<X, Y> with M<X, Y> {} //# 03: compile-time error
+ class MA2 extends C<X, Y> with M2<X, Y> {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ mixin M3<X extends S, Y extends T> on A<Y>, B<X> implements I<X>, J<Y> {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ class MA3 extends C<X, Y> with M3<X, Y> {}
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
-
diff --git a/LanguageFeatures/Super-mixins/compatible_t06.dart b/LanguageFeatures/Super-mixins/compatible_t06.dart
index f35dd65..d3fbb01 100644
--- a/LanguageFeatures/Super-mixins/compatible_t06.dart
+++ b/LanguageFeatures/Super-mixins/compatible_t06.dart
@@ -11,10 +11,8 @@
///
/// @description Checks that it is a compile-time error for the mixin declaration
/// if the interfaces B and C are not compatible.
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class S {}
class T {}
class X extends S {}
@@ -28,9 +26,14 @@
}
mixin M<X extends S, Y extends T> on A<Y>, B<X> {
+// ^
+// [cfe] unspecified
}
class MA<X, Y> extends C<Y, X> with M<Y, X> {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/covariance_t01.dart b/LanguageFeatures/Super-mixins/covariance_t01.dart
index 2e43b6b..093724d 100644
--- a/LanguageFeatures/Super-mixins/covariance_t01.dart
+++ b/LanguageFeatures/Super-mixins/covariance_t01.dart
@@ -12,10 +12,8 @@
///
/// @description Checks that it is a compile error if mixin is applied to the
/// class which doesn't implement required interface
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class A {
bar(num n) {}
}
@@ -31,6 +29,10 @@
}
class MA extends B with M {}
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
main() {
new MA().test();
diff --git a/LanguageFeatures/Super-mixins/covariance_t04.dart b/LanguageFeatures/Super-mixins/covariance_t04.dart
index 98ae8b4..cc1c7ef 100644
--- a/LanguageFeatures/Super-mixins/covariance_t04.dart
+++ b/LanguageFeatures/Super-mixins/covariance_t04.dart
@@ -12,10 +12,8 @@
///
/// @description Checks that it is a compile error if mixin is applied to the
/// class which doesn't implement required interface
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class A {
covariant num number = 0;
}
@@ -31,6 +29,9 @@
}
class MA extends B with M {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
new MA().test();
diff --git a/LanguageFeatures/Super-mixins/declaration_t01.dart b/LanguageFeatures/Super-mixins/declaration_t01.dart
index fdf0244..22c9b79 100644
--- a/LanguageFeatures/Super-mixins/declaration_t01.dart
+++ b/LanguageFeatures/Super-mixins/declaration_t01.dart
@@ -14,21 +14,26 @@
/// @description Checks that it is a compile-time error for the mixin declaration
/// if classes from implements clause contain methods with the same names but
/// different return types.
-/// @compile-error
/// @author ngl@unipro.ru
-
class I {
int i1() => 1;
+// ^^
+// [cfe] unspecified
}
class J {
double i1() => 2.0;
+// ^^
+// [cfe] unspecified
}
class B {}
class C {}
mixin M on B, C implements I, J {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
diff --git a/LanguageFeatures/Super-mixins/declaration_t02.dart b/LanguageFeatures/Super-mixins/declaration_t02.dart
index 09440be..4fa5dff 100644
--- a/LanguageFeatures/Super-mixins/declaration_t02.dart
+++ b/LanguageFeatures/Super-mixins/declaration_t02.dart
@@ -14,19 +14,25 @@
/// @description Checks that it is a compile-time error for the mixin declaration
/// if its super classes contain getters with the same name and different return
/// types.
-/// @compile-error
/// @author ngl@unipro.ru
class I {
int get i1 => 1;
+// ^^
+// [cfe] unspecified
}
class B {
double get i1 => 2.0;
+// ^^
+// [cfe] unspecified
}
mixin M on B implements I {}
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
}
diff --git a/LanguageFeatures/Super-mixins/declaration_t03.dart b/LanguageFeatures/Super-mixins/declaration_t03.dart
index dfeb422..0462923 100644
--- a/LanguageFeatures/Super-mixins/declaration_t03.dart
+++ b/LanguageFeatures/Super-mixins/declaration_t03.dart
@@ -14,10 +14,8 @@
/// @description Checks that it is a compile-time error for the mixin declaration
/// if its super classes contain getters with the same name and different return
/// types. Test several interfaces in 'on' and 'implements' clauses
-/// @compile-error
/// @author ngl@unipro.ru
-
class I {
int get i1 => 1;
}
diff --git a/LanguageFeatures/Super-mixins/declaration_t10.dart b/LanguageFeatures/Super-mixins/declaration_t10.dart
index fe58480..f6de515 100644
--- a/LanguageFeatures/Super-mixins/declaration_t10.dart
+++ b/LanguageFeatures/Super-mixins/declaration_t10.dart
@@ -16,44 +16,69 @@
/// is equivalent to the interface of the class declared as
/// abstract class A<X extends S, Y extends T> extends A$super<X, Y>
/// implements D, E { body' }
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
abstract class B {
- String get b; //# 01: compile-time error
+ String get b;
+// ^
+// [cfe] unspecified
}
class C {
- String get c => "C"; //# 02: compile-time error
+ String get c => "C";
+// ^
+// [cfe] unspecified
}
class D {
- String get d => "D"; //# 03: compile-time error
+ String get d => "D";
+// ^
+// [cfe] unspecified
}
abstract class E {
- String get e; //# 04: compile-time error
+ String get e;
+// ^
+// [cfe] unspecified
}
mixin A on B, C implements D, E {
}
-class AI implements A {
+class AI1 implements A {
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
// missing b
- String get c => "AI"; //# 01: compile-time error
- String get d => "AI"; //# 01: compile-time error
- String get e => "AI"; //# 01: compile-time error
+ String get c => "AI";
+ String get d => "AI";
+ String get e => "AI";
+}
+class AI2 implements A {
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
// missing c
- String get b => "AI"; //# 02: compile-time error
- String get d => "AI"; //# 02: compile-time error
- String get e => "AI"; //# 02: compile-time error
+ String get b => "AI";
+ String get d => "AI";
+ String get e => "AI";
+}
+class AI3 implements A {
+// ^^^
+// [analyzer] unspecified
+// [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
+}
+class AI4 implements A {
+// ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
// missing e
String get b => "AI"; //# 04: compile-time error
@@ -62,5 +87,8 @@
}
main() {
- new AI();
+ new AI1();
+ new AI2();
+ new AI3();
+ new AI4();
}
diff --git a/LanguageFeatures/Super-mixins/implementation_t03.dart b/LanguageFeatures/Super-mixins/implementation_t03.dart
index d291d0c..42d3d7e 100644
--- a/LanguageFeatures/Super-mixins/implementation_t03.dart
+++ b/LanguageFeatures/Super-mixins/implementation_t03.dart
@@ -13,11 +13,9 @@
/// @description Checks that mixin declaration can only be applied to classes
/// that implement both B and C. Test the case when mixin declaration is applied
/// to the class with implements only one of the interfaces
-/// @compile-error
/// @author ngl@unipro.ru
/// @author sgrekhov@unipro.ru
-
abstract class B {
int get gb1;
}
@@ -33,6 +31,10 @@
mixin M on B, C {}
class MA extends A with M {}
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
main() {
new MA();
diff --git a/LanguageFeatures/Super-mixins/implementation_t04.dart b/LanguageFeatures/Super-mixins/implementation_t04.dart
index d58695a..f44f419 100644
--- a/LanguageFeatures/Super-mixins/implementation_t04.dart
+++ b/LanguageFeatures/Super-mixins/implementation_t04.dart
@@ -14,10 +14,8 @@
/// that implement both B and C. Test the case when mixin declaration is applied
/// to the class with implements only one of the interfaces but not implemented
/// interface is not abstract
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
abstract class B {
int get gb1;
}
@@ -33,6 +31,10 @@
mixin M on B, C {}
class MA extends A with M {
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/implementation_t05.dart b/LanguageFeatures/Super-mixins/implementation_t05.dart
index 1260668..6e1065e 100644
--- a/LanguageFeatures/Super-mixins/implementation_t05.dart
+++ b/LanguageFeatures/Super-mixins/implementation_t05.dart
@@ -13,10 +13,8 @@
/// @description Checks that mixin declaration can only be applied to classes
/// that implement both B and C. Test the case when mixin declaration is applied
/// to the class with extends only one of the interfaces
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class B {
String get gb1 => "B.gb1";
}
@@ -31,6 +29,10 @@
mixin M on B, C {}
class MA extends A with M {
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/implementation_t06.dart b/LanguageFeatures/Super-mixins/implementation_t06.dart
index f6e44aa..6666312 100644
--- a/LanguageFeatures/Super-mixins/implementation_t06.dart
+++ b/LanguageFeatures/Super-mixins/implementation_t06.dart
@@ -14,10 +14,8 @@
/// that implement both B and C. Test the case when mixin declaration is applied
/// to the class with extends only one of the interfaces but not implemented
/// interface is not abstract
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class B {
String get gb1 => "B.gb1";
}
@@ -32,6 +30,10 @@
mixin M on B, C {}
class MA extends A with M {
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/implementation_t07.dart b/LanguageFeatures/Super-mixins/implementation_t07.dart
index 8b5bff7..e811214 100644
--- a/LanguageFeatures/Super-mixins/implementation_t07.dart
+++ b/LanguageFeatures/Super-mixins/implementation_t07.dart
@@ -13,10 +13,8 @@
/// @description Checks that mixin declaration can only be applied to classes
/// that implement both B and C. Test the case when mixin declaration is applied
/// to the class with mixins only one of the interfaces
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class B {
String get gb1 => "B.gb1";
}
@@ -31,6 +29,10 @@
mixin M on B, C {}
class MA extends A with M {
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/implementation_t08.dart b/LanguageFeatures/Super-mixins/implementation_t08.dart
index 51e7ec1..98c7534 100644
--- a/LanguageFeatures/Super-mixins/implementation_t08.dart
+++ b/LanguageFeatures/Super-mixins/implementation_t08.dart
@@ -14,10 +14,8 @@
/// that implement both B and C. Test the case when mixin declaration is applied
/// to the class with mixins only one of the interfaces but not implemented
/// interface is not abstract
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class B {
String get gb1 => "B.gb1";
}
@@ -32,6 +30,10 @@
mixin M on B, C {}
class MA extends A with M {
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/mixin_application_t13.dart b/LanguageFeatures/Super-mixins/mixin_application_t13.dart
index 7ac1fd9..4ffa67a 100644
--- a/LanguageFeatures/Super-mixins/mixin_application_t13.dart
+++ b/LanguageFeatures/Super-mixins/mixin_application_t13.dart
@@ -12,10 +12,8 @@
/// @description Checks that it is a compile error if a mixin is applied to a
/// class that does not implement all the 'on' type requirements of the mixin
/// declaration.
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class S {}
class T {}
class X extends S {}
@@ -32,7 +30,10 @@
class A<T1, T2, T3, T4> implements B<T1>, C<T2>, I<T3>, J<T4> {
}
-class MA extends A<X, Y, S, S> with M<X, Y> {
+ class MA extends A<X, Y, S, S> with M<X, Y> {
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/mixin_application_t14.dart b/LanguageFeatures/Super-mixins/mixin_application_t14.dart
index 90fea2e..64a34f3 100644
--- a/LanguageFeatures/Super-mixins/mixin_application_t14.dart
+++ b/LanguageFeatures/Super-mixins/mixin_application_t14.dart
@@ -12,10 +12,8 @@
/// @description Checks that it is a compile error if a mixin is applied to a
/// class that does not implement all the 'on' type requirements of the mixin
/// declaration. Test omitted 'on'
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class I {}
class J {}
class B {}
@@ -24,6 +22,10 @@
mixin M on B, C implements I, J {}
class MA with M {}
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
main() {
new MA();
diff --git a/LanguageFeatures/Super-mixins/mixin_constructor_t01.dart b/LanguageFeatures/Super-mixins/mixin_constructor_t01.dart
index 4ebef9e..4c722fc 100644
--- a/LanguageFeatures/Super-mixins/mixin_constructor_t01.dart
+++ b/LanguageFeatures/Super-mixins/mixin_constructor_t01.dart
@@ -6,7 +6,6 @@
/// members that a class would allow, but no constructors (for now).
///
/// @description Checks that mixin declaration doesn't allow constructors.
-/// @compile-error
/// @author ngl@unipro.ru
@@ -18,11 +17,16 @@
mixin M on B, C implements I, J {
M() {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B, C, I, J {}
class MA extends A with M {}
+// ^
+// [cfe] unspecified
main() {
new MA();
diff --git a/LanguageFeatures/Super-mixins/mixin_constructor_t02.dart b/LanguageFeatures/Super-mixins/mixin_constructor_t02.dart
index e985359..e8dda8f 100644
--- a/LanguageFeatures/Super-mixins/mixin_constructor_t02.dart
+++ b/LanguageFeatures/Super-mixins/mixin_constructor_t02.dart
@@ -7,10 +7,8 @@
///
/// @description Checks that mixin declaration doesn't allow constructors. Test
/// named constructor
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class I {}
class J {}
@@ -19,11 +17,16 @@
mixin M on B, C implements I, J {
M.named() {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B, C, I, J {}
class MA extends A with M {}
+// ^
+// [cfe] unspecified
main() {
new MA();
diff --git a/LanguageFeatures/Super-mixins/mixin_constructor_t03.dart b/LanguageFeatures/Super-mixins/mixin_constructor_t03.dart
index 8f57a8e..e1ed242 100644
--- a/LanguageFeatures/Super-mixins/mixin_constructor_t03.dart
+++ b/LanguageFeatures/Super-mixins/mixin_constructor_t03.dart
@@ -9,10 +9,8 @@
/// factory constructor
/// @issue 24767
/// @issue 34804
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class I {}
class J {}
@@ -21,6 +19,9 @@
mixin M on B, C implements I, J {
factory M() = MA;
+//^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B, C, I, J {}
diff --git a/LanguageFeatures/Super-mixins/mixin_constructor_t04.dart b/LanguageFeatures/Super-mixins/mixin_constructor_t04.dart
index b553b29..1b69715 100644
--- a/LanguageFeatures/Super-mixins/mixin_constructor_t04.dart
+++ b/LanguageFeatures/Super-mixins/mixin_constructor_t04.dart
@@ -6,10 +6,8 @@
/// members that a class would allow, but no constructors (for now).
///
/// @description Checks that mixin declaration doesn't allow constructors.
-/// @compile-error
/// @author ngl@unipro.ru
-
class S {}
class T {}
@@ -21,6 +19,9 @@
mixin M<X extends S, Y extends T> on B, C implements I, J {
M() {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B, C, I, J {}
diff --git a/LanguageFeatures/Super-mixins/mixin_constructor_t05.dart b/LanguageFeatures/Super-mixins/mixin_constructor_t05.dart
index e6a54d3..678477f 100644
--- a/LanguageFeatures/Super-mixins/mixin_constructor_t05.dart
+++ b/LanguageFeatures/Super-mixins/mixin_constructor_t05.dart
@@ -6,10 +6,8 @@
/// members that a class would allow, but no constructors (for now).
///
/// @description Checks that mixin declaration doesn't allow constructors.
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class S {}
class T {}
@@ -21,11 +19,16 @@
mixin M<X extends S, Y extends T> on B, C implements I, J {
M.named() {}
+//^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B, C, I, J {}
class MA extends A with M {}
+// ^^
+// [cfe] unspecified
main() {
new MA();
diff --git a/LanguageFeatures/Super-mixins/mixin_constructor_t06.dart b/LanguageFeatures/Super-mixins/mixin_constructor_t06.dart
index 5cffd09..ea6140c 100644
--- a/LanguageFeatures/Super-mixins/mixin_constructor_t06.dart
+++ b/LanguageFeatures/Super-mixins/mixin_constructor_t06.dart
@@ -8,7 +8,6 @@
/// @description Checks that mixin declaration doesn't allow constructors.
/// @issue 24767
/// @issue 34804
-/// @compile-error
/// @author sgrekhov@unipro.ru
@@ -23,6 +22,9 @@
mixin M<X extends S, Y extends T> on B, C implements I, J {
factory M() = MA<X, Y>;
+//^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B, C, I, J {}
diff --git a/LanguageFeatures/Super-mixins/mixin_word_t03.dart b/LanguageFeatures/Super-mixins/mixin_word_t03.dart
index dfeceb4..0d2092d 100644
--- a/LanguageFeatures/Super-mixins/mixin_word_t03.dart
+++ b/LanguageFeatures/Super-mixins/mixin_word_t03.dart
@@ -7,10 +7,12 @@
/// made a built-in identifier in Dart 2.0
///
/// @description Checks that the mixin word cannot be used as an import prefix
-/// @compile-error
/// @author sgrekhov@unipro.ru
import "dart:collection" as mixin;
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
mixin.HashMap map = new mixin.HashMap();
diff --git a/LanguageFeatures/Super-mixins/mixin_word_t04.dart b/LanguageFeatures/Super-mixins/mixin_word_t04.dart
index 8ca8d43..f477ec7 100644
--- a/LanguageFeatures/Super-mixins/mixin_word_t04.dart
+++ b/LanguageFeatures/Super-mixins/mixin_word_t04.dart
@@ -7,12 +7,16 @@
/// made a built-in identifier in Dart 2.0
///
/// @description Checks that the mixin word cannot be used as a class name
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class mixin {}
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
new mixin();
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/Super-mixins/mixin_word_t05.dart b/LanguageFeatures/Super-mixins/mixin_word_t05.dart
index 4818989..c2719ab 100644
--- a/LanguageFeatures/Super-mixins/mixin_word_t05.dart
+++ b/LanguageFeatures/Super-mixins/mixin_word_t05.dart
@@ -7,12 +7,16 @@
/// made a built-in identifier in Dart 2.0
///
/// @description Checks that the mixin word cannot be used as a type name
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
typedef mixin = int Function(Object a, Object b);
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
main() {
mixin? m;
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/Super-mixins/more_specific_t03.dart b/LanguageFeatures/Super-mixins/more_specific_t03.dart
index c6d3b34..43f22c6 100644
--- a/LanguageFeatures/Super-mixins/more_specific_t03.dart
+++ b/LanguageFeatures/Super-mixins/more_specific_t03.dart
@@ -10,28 +10,38 @@
/// @description Checks that if more than one super-constraint interface declares
/// a member with the same name and there is no member that is more specific
/// than the rest, then this is a compile error
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class I {}
class J {}
class B {
String get b1 => "B";
+// ^^^^^^^^^
+// [cfe] unspecified
}
class C {
double get b1 => 3.14;
+// ^^
+// [cfe] unspecified
}
mixin M on B, C implements I, J {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B, C {
double get b1 => -3.14;
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class MA extends A with M {
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/more_specific_t06.dart b/LanguageFeatures/Super-mixins/more_specific_t06.dart
index b62c067..a7d62e2 100644
--- a/LanguageFeatures/Super-mixins/more_specific_t06.dart
+++ b/LanguageFeatures/Super-mixins/more_specific_t06.dart
@@ -10,7 +10,6 @@
/// @description Checks that if more than one super-constraint interface declares
/// a member with the same name and there is no member that is more specific
/// than the rest, then this is a compile error. Test type parameters
-/// @compile-error
/// @author sgrekhov@unipro.ru
@@ -24,19 +23,31 @@
abstract class B<T1> {
T1 get b1;
+// ^^
+// [cfe] unspecified
}
abstract class C<T1> {
T1 get b1;
+// ^^
+// [cfe] unspecified
}
mixin M<X extends S, Y extends T> on B<X>, C<Y> implements I, J {
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class A implements B<S>, C<T> {
T get b1 => new T();
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
class MA extends A with M<S, T> {
+// ^
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/not_class_t01.dart b/LanguageFeatures/Super-mixins/not_class_t01.dart
index a432a45..2f19bd1 100644
--- a/LanguageFeatures/Super-mixins/not_class_t01.dart
+++ b/LanguageFeatures/Super-mixins/not_class_t01.dart
@@ -6,10 +6,8 @@
/// class.
///
/// @description Checks that a mixin declaration introduces not a class.
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class C {
}
@@ -18,4 +16,7 @@
main() {
new M();
+// ^
+// [analyzer] unspecified
+// [cfe] unspecified
}
diff --git a/LanguageFeatures/Super-mixins/not_class_t02.dart b/LanguageFeatures/Super-mixins/not_class_t02.dart
index 03b97a5..6f00d6a 100644
--- a/LanguageFeatures/Super-mixins/not_class_t02.dart
+++ b/LanguageFeatures/Super-mixins/not_class_t02.dart
@@ -7,10 +7,8 @@
///
/// @description Checks that a mixin declaration introduces an interface and
/// therefore it cannot be extended.
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
class C {
}
@@ -18,6 +16,10 @@
}
class MA extends M {}
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
main() {
new MA();
diff --git a/LanguageFeatures/Super-mixins/not_class_t03.dart b/LanguageFeatures/Super-mixins/not_class_t03.dart
index 14b3f2f..d9a316b 100644
--- a/LanguageFeatures/Super-mixins/not_class_t03.dart
+++ b/LanguageFeatures/Super-mixins/not_class_t03.dart
@@ -7,7 +7,6 @@
///
/// @description Checks that a mixin declaration introduces an interface and
/// therefore it cannot be extended.
-/// @compile-error
/// @author sgrekhov@unipro.ru
import "../../Utils/expect.dart";
@@ -21,6 +20,10 @@
}
class MA extends M {
+// ^
+// [analyzer] unspecified
+// ^
+// [cfe] unspecified
String get g => "MA.g";
}
diff --git a/LanguageFeatures/Super-mixins/not_class_t06.dart b/LanguageFeatures/Super-mixins/not_class_t06.dart
index 1eed47e..4c4f22a 100644
--- a/LanguageFeatures/Super-mixins/not_class_t06.dart
+++ b/LanguageFeatures/Super-mixins/not_class_t06.dart
@@ -8,7 +8,6 @@
/// @description Checks that a mixin declaration introduces an interface and it
/// is a compile error if there is no implementation of the methods declared by
/// the mixin
-/// @compile-error
/// @author sgrekhov@unipro.ru
class C {
@@ -17,9 +16,14 @@
mixin M on C {
String get g => "M.g";
+// ^
+// [cfe] unspecified
}
class MA implements M {
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
main() {
diff --git a/LanguageFeatures/Super-mixins/super_invocation_neg_t01.dart b/LanguageFeatures/Super-mixins/super_invocation_neg_t01.dart
index 7fd404a..ad99a4f 100644
--- a/LanguageFeatures/Super-mixins/super_invocation_neg_t01.dart
+++ b/LanguageFeatures/Super-mixins/super_invocation_neg_t01.dart
@@ -11,10 +11,8 @@
/// mixin body has a super-access (super.foo, super.foo(), super + bar, etc.)
/// which would not be a valid invocation if super was replaced by an expression
/// with static type A$super.
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
abstract class B {
void foo(int x);
}
@@ -22,6 +20,9 @@
mixin M on B {
void bar() {
super.foo("test");
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
}
diff --git a/LanguageFeatures/Super-mixins/super_invocation_neg_t02.dart b/LanguageFeatures/Super-mixins/super_invocation_neg_t02.dart
index 7acca23..7e1d2bb 100644
--- a/LanguageFeatures/Super-mixins/super_invocation_neg_t02.dart
+++ b/LanguageFeatures/Super-mixins/super_invocation_neg_t02.dart
@@ -11,10 +11,8 @@
/// mixin body has a super-access (super.foo, super.foo(), super + bar, etc.)
/// which would not be a valid invocation if super was replaced by an expression
/// with static type A$super. Test that noSuchMethod has no effect in this case
-/// @compile-error
/// @author sgrekhov@unipro.ru
-
abstract class B {
int foo(int x);
noSuchMethod(Invocation i) {
@@ -25,6 +23,9 @@
mixin M on B {
void bar() {
super.foo("test");
+// ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
noSuchMethod(Invocation i) {
diff --git a/LanguageFeatures/Super-mixins/super_invocation_neg_t03.dart b/LanguageFeatures/Super-mixins/super_invocation_neg_t03.dart
index 3e329ae..f062454 100644
--- a/LanguageFeatures/Super-mixins/super_invocation_neg_t03.dart
+++ b/LanguageFeatures/Super-mixins/super_invocation_neg_t03.dart
@@ -11,7 +11,6 @@
/// mixin body has a super-access (super.foo, super.foo(), super + bar, etc.)
/// which would not be a valid invocation if super was replaced by an expression
/// with static type A$super.
-/// @compile-error
/// @author sgrekhov@unipro.ru
class S {}
@@ -26,6 +25,9 @@
mixin M<T1 extends S, T2 extends T> on B<T2> {
void test(T1 t1) {
super.foo(t1);
+// ^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
}