Skip to content

Commit ea5e476

Browse files
authored
Fixes #2413. Add missing expected compile-time errors for CFE (#2418)
1 parent 579fed7 commit ea5e476

6 files changed

+32
-14
lines changed

Language/Types/Type_Aliases/self_reference_t14.dart

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,11 @@ typedef F(G x);
1414
// [analyzer] unspecified
1515
// [cfe] unspecified
1616
typedef G(F x);
17-
//^
17+
// ^
1818
// [analyzer] unspecified
19+
// [cfe] unspecified
1920

2021
main() {
21-
F? x;
22+
print(F);
23+
print(G);
2224
}

Language/Types/Type_Aliases/self_reference_t15.dart

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,11 @@ typedef G F();
1414
// [analyzer] unspecified
1515
// [cfe] unspecified
1616
typedef F G();
17-
//^
17+
// ^
1818
// [analyzer] unspecified
19+
// [cfe] unspecified
1920

2021
main() {
21-
F? x;
22+
print(F);
23+
print(G);
2224
}

Language/Types/Type_Aliases/self_reference_t16.dart

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,12 +14,16 @@ typedef void F(G g);
1414
// [analyzer] unspecified
1515
// [cfe] unspecified
1616
typedef H G();
17-
//^
17+
// ^
1818
// [analyzer] unspecified
19+
// [cfe] unspecified
1920
typedef void H(List<F> f);
20-
//^
21+
// ^
2122
// [analyzer] unspecified
23+
// [cfe] unspecified
2224

2325
main() {
24-
F? x;
26+
print(F);
27+
print(G);
28+
print(H);
2529
}

Language/Types/Type_Aliases/self_reference_t17.dart

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,11 @@ typedef void F(G g);
1414
// [analyzer] unspecified
1515
// [cfe] unspecified
1616
typedef void G(List<F> f);
17-
//^
17+
// ^
1818
// [analyzer] unspecified
19+
// [cfe] unspecified
1920

2021
main() {
21-
F? x;
22+
print(F);
23+
print(G);
2224
}

Language/Types/Type_Aliases/self_reference_t19.dart

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,15 @@
1111
class C<T> {}
1212

1313
typedef CAlias1<T extends CAlias2> = C<T>;
14-
// ^
14+
// ^
1515
// [analyzer] unspecified
1616
// [cfe] unspecified
1717
typedef CAlias2<T extends CAlias1> = C<T>;
18-
// ^
18+
// ^
1919
// [analyzer] unspecified
20+
// [cfe] unspecified
2021

2122
main() {
23+
print(CAlias1);
24+
print(CAlias2);
2225
}

Language/Types/Type_Aliases/self_reference_t20.dart

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,15 +12,20 @@ class C<T1, T2> {}
1212

1313
typedef CAlias1<T1, T2> = C<T1, T2>;
1414
typedef CAlias2<T1, T2> = CAlias1<T1, CAlias4>;
15-
//^
15+
// ^
1616
// [analyzer] unspecified
1717
// [cfe] unspecified
1818
typedef CAlias3<T1, T2> = CAlias2<T1, T2>;
19-
//^
19+
// ^
2020
// [analyzer] unspecified
21+
// [cfe] unspecified
2122
typedef CAlias4<T1, T2> = CAlias3<T1, T2>;
22-
//^
23+
// ^
2324
// [analyzer] unspecified
25+
// [cfe] unspecified
2426

2527
main() {
28+
print(CAlias2);
29+
print(CAlias3);
30+
print(CAlias4);
2631
}

0 commit comments

Comments
 (0)