From 6dc6bcae371983d5d7124c29ffec45a3d28eca71 Mon Sep 17 00:00:00 2001 From: iarkh Date: Thu, 28 Jan 2021 19:23:24 +0700 Subject: [PATCH] Fixes #979: I-2-b tests updated according to the recent changes for dart-lang/language#1133 --- .../typedef/static/typedef_l2_01_t13.dart | 45 +----- .../typedef/static/typedef_l2_01_t14.dart | 37 +---- .../typedef/static/typedef_l2_01_t15.dart | 38 +---- .../typedef/static/typedef_l2_02_t01.dart | 56 +------- .../typedef/static/typedef_l2_02_t03.dart | 57 +------- .../typedef/static/typedef_l2_02_t10.dart | 47 +------ .../typedef/static/typedef_l2_02_t11.dart | 63 +-------- .../typedef/static/typedef_l2_02_t15.dart | 120 +--------------- .../typedef/static/typedef_l2_03_t01.dart | 4 + .../typedef/static/typedef_l2_03_t02.dart | 78 +---------- .../typedef/static/typedef_l2_03_t04.dart | 81 +---------- .../typedef/static/typedef_l2_03_t05.dart | 2 +- .../typedef/static/typedef_l2_03_t12.dart | 72 +--------- .../typedef/static/typedef_l2_03_t13.dart | 62 +------- .../typedef/static/typedef_l2_03_t14.dart | 57 +------- .../typedef/static/typedef_l2_04_t01.dart | 86 +----------- .../typedef/static/typedef_l2_04_t02.dart | 91 +----------- .../typedef/static/typedef_l2_04_t03.dart | 56 +------- .../typedef/static/typedef_l2_04_t04.dart | 96 +------------ .../typedef/static/typedef_l2_04_t10.dart | 48 +------ .../typedef/static/typedef_l2_04_t11.dart | 63 +-------- .../typedef/static/typedef_l2_04_t12.dart | 129 +---------------- .../typedef/static/typedef_l2_04_t13.dart | 89 +----------- .../typedef/static/typedef_l2_04_t14.dart | 63 +-------- .../typedef/static/typedef_l2_04_t15.dart | 92 +----------- .../typedef/static/typedef_l2_05_t01.dart | 81 +---------- .../typedef/static/typedef_l2_05_t02.dart | 91 +----------- .../typedef/static/typedef_l2_05_t03.dart | 86 +----------- .../typedef/static/typedef_l2_05_t04.dart | 86 +----------- .../typedef/static/typedef_l2_05_t09.dart | 2 +- .../typedef/static/typedef_l2_05_t10.dart | 49 +------ .../typedef/static/typedef_l2_05_t11.dart | 63 +-------- .../typedef/static/typedef_l2_05_t12.dart | 132 +----------------- .../typedef/static/typedef_l2_05_t13.dart | 92 +----------- .../typedef/static/typedef_l2_05_t14.dart | 57 +------- .../typedef/static/typedef_l2_05_t15.dart | 60 +------- .../typedef/static/typedef_l2_06_t01.dart | 81 +---------- .../typedef/static/typedef_l2_06_t02.dart | 91 +----------- .../typedef/static/typedef_l2_06_t03.dart | 86 +----------- .../typedef/static/typedef_l2_06_t04.dart | 86 +----------- .../typedef/static/typedef_l2_06_t09.dart | 2 +- .../typedef/static/typedef_l2_06_t10.dart | 49 +------ .../typedef/static/typedef_l2_06_t11.dart | 60 +------- .../typedef/static/typedef_l2_06_t12.dart | 129 +---------------- .../typedef/static/typedef_l2_06_t13.dart | 86 +----------- .../typedef/static/typedef_l2_06_t14.dart | 67 +-------- .../typedef/static/typedef_l2_06_t15.dart | 61 +------- .../static/typedef_typedef_l1_t03.dart | 67 +-------- .../static/typedef_typedef_l1_t07.dart | 68 +-------- .../static/typedef_typedef_l1_t11.dart | 68 +-------- .../static/typedef_typedef_l1_t15.dart | 41 +----- .../static/typedef_typedef_l1_t19.dart | 19 +-- 52 files changed, 256 insertions(+), 3236 deletions(-) diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t13.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t13.dart index 7038d01a57..53a1030094 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t13.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t13.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,46 +55,10 @@ class A {} typedef G, Y extends A> = void Function(X, Y); -test(G source) { - void Function>(A, A) target1 = source; - - void Function>(A, A) target2 = source; - - void Function>(A, A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t14.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t14.dart index edb6a50f52..6bcf4d7c46 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t14.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t14.dart @@ -45,47 +45,20 @@ * @description Checks that instantiate-to-bounds works correctly for [typedef] * with two related parameters: [typedef G, Y extends A> = * void Function(X)] + * * @Issue 34689, 34699, 41963, 41964 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = void Function(X); -test(G source) { - var fsource = toF(source); - - F, A>> target1 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; - - F, A>> target4 = fsource; - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t15.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t15.dart index 4b0d698911..0762f50580 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t15.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_01_t15.dart @@ -46,47 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = void Function(Y); -test(G source) { - var fsource = toF(source); - - F, A>> target1 = fsource; - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t01.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t01.dart index 28a2481a87..be97976b52 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t01.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t01.dart @@ -47,65 +47,19 @@ * with two related parameters: [typedef G, Y extends X> = X * Function(Y)] * - * @Issue 35068, 41963, 41964 + * @Issue 35068, 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = X Function(Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; - - F, Null>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t03.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t03.dart index 4d7595dcd7..bfe1075fbb 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t03.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t03.dart @@ -45,65 +45,20 @@ * @description Checks that instantiate-to-bounds works correctly for [typedef] * with two related parameters: [typedef G, Y extends X> = X * Function(X, Y)] - * @Issue 41963, 41964 + * + * @Issue 41963, 4196444786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = X Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; - - F, Null>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t10.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t10.dart index d5254b305e..1fee2f8ba2 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t10.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t10.dart @@ -45,7 +45,8 @@ * @description Checks that instantiate-to-bounds works correctly for [typedef] * with two related parameters: [typedef G, Y extends X> = void * Function(Y)] - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -53,48 +54,10 @@ class A {} typedef G, Y extends X> = void Function(Y); -test(G source) { - void Function>(Never) target1 = source; - - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target7 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function(Never) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t11.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t11.dart index 5eca539b39..d4d9629302 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t11.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t11.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends X> = void * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,64 +55,10 @@ class A {} typedef G, Y extends X> = void Function(X, Y); -test(G source) { - - void Function>(A, Never) target0 = source; - - void Function>(A, Null) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, dynamic) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t15.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t15.dart index 08d9c86768..50828ebe16 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t15.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_02_t15.dart @@ -46,129 +46,19 @@ * with two related parameters: [typedef G, Y extends X> = * void Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = void Function(Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target1 = fsource; - F, Never>> target2 = fsource; - - F, Never>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target4 = fsource; - F> target5 = fsource; - - F> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target16 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target17 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target18 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target19 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target20 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target21 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target22 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target23 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target24 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target25 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t01.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t01.dart index 547499aaf4..32ceaf1abf 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t01.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t01.dart @@ -89,3 +89,7 @@ test(G source) { // [analyzer] unspecified // [cfe] unspecified } + +main() { + +} \ No newline at end of file diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t02.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t02.dart index 6f6b85e3d1..41273698af 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t02.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t02.dart @@ -51,85 +51,13 @@ * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = Y Function(X); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t04.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t04.dart index dd739e8f96..eef3b55556 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t04.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t04.dart @@ -46,90 +46,19 @@ * with two related parameters: [typedef G> = Y * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = Y Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t05.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t05.dart index 7ccf669a78..b072b4e1ba 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t05.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t05.dart @@ -45,7 +45,7 @@ * @description Checks that instantiate-to-bounds works correctly for [typedef] * with two related parameters: [typedef G> = void * Function(X, Y)] - * #Issue #34699 + * @Issue #34699 * @author iarkh@unipro.ru */ diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t12.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t12.dart index 429897baca..40a0b7c4bc 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t12.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t12.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G> = void * Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,73 +55,10 @@ class A {} typedef G> = void Function(X); -void test(G source) { - void Function>(Never) target = source; - - void Function>(A) target0 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target6 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(dynamic) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target12 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t13.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t13.dart index 375e347ca6..49a490871c 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t13.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t13.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G> = void * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,63 +55,10 @@ class A {} typedef G> = void Function(X, Y); -test(G source) { - void Function>(Never, A) target = source; - - void Function>(Null, A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic, A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t14.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t14.dart index 863d17255f..7b52a7fd1c 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t14.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_03_t14.dart @@ -46,66 +46,19 @@ * with two related parameters: [typedef G> = * void Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = void Function(X); -test(G source) { - var fsource = toF(source); - - F>> target1 = fsource; - - F>> target2 = fsource; - - F>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target4 = fsource; - - F> target5 = fsource; - - F, A>> target6 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t01.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t01.dart index 8ebf45beef..9adc4a0e2b 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t01.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t01.dart @@ -45,95 +45,19 @@ * @description Checks that instantiate-to-bounds works correctly for [typedef] * with two related parameters: [typedef G, Y extends X> = X * Function(Y)] - * @Issue 34689, 34699, 41963, 41964 + * @Issue 34689, 34699, 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = X Function(Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t02.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t02.dart index 273bedef3f..668e060281 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t02.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t02.dart @@ -46,100 +46,19 @@ * with two related parameters: [typedef G, Y extends X> = Y * Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = Y Function(X); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, dynamic>> target15 = fsource; - - F, Never>> target16 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t03.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t03.dart index 3245c03e89..7d66328131 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t03.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t03.dart @@ -46,65 +46,19 @@ * with two related parameters: [typedef G, Y extends X> = X * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = X Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; - - F, Null>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t04.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t04.dart index 29720aa0a3..940faf6fb0 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t04.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t04.dart @@ -46,105 +46,19 @@ * with two related parameters: [typedef G, Y extends X> = Y * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = Y Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target15 = fsource; - - F, Never>> target16 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target17 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t10.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t10.dart index edfbf44c42..98aa4b187d 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t10.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t10.dart @@ -46,55 +46,19 @@ * with two related parameters: [typedef G, Y extends X> = void * Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 + * * @author iarkh@unipro.ru */ class A {} typedef G, Y extends X> = void Function(Y); -test(G source) { - void Function>(Never) target1 = source; - - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(dynamic) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t11.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t11.dart index 88b78549ec..32d11cc385 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t11.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t11.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends X> = void * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,64 +55,10 @@ class A {} typedef G, Y extends X> = void Function(X, Y); -test(G source) { - - void Function>(A, Never) target0 = source; - - void Function>(A, Null) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, dynamic) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t12.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t12.dart index 9bef118b36..b7ecaaa1ea 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t12.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t12.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends X> = void * Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,130 +55,10 @@ class A {} typedef G, Y extends X> = void Function(X); -void test(G source) { - void Function(A) target = source; - - void Function>(A) target0 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target9 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(Null) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target12 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target13 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target14 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target15 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target16 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target17 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target18 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target19 = source; - - void Function(Null) target20 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic) target21 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target22 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Null) target23 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic) target24 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t13.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t13.dart index a5ff5a4832..7fc3a7336f 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t13.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t13.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends X> = void * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,90 +55,10 @@ class A {} typedef G, Y extends X> = void Function(X, Y); -test(G source) { - void Function(A, dynamic) target = source; - - void Function>(Null, A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic, A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A, dynamic) target12 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A, dynamic) target13 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic, dynamic) target14 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never, dynamic) target15 = source; - - void Function(dynamic, Never) target16 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never, Never) target17 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t14.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t14.dart index 9fcf705bbf..b53ccae798 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t14.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t14.dart @@ -45,71 +45,20 @@ * @description Checks that instantiate-to-bounds works correctly for [typedef] * with two related parameters: [typedef G, Y extends A> = * void Function(X)] - * @Issue 34689, 34699, 41963, 41964 + * + * @Issue 34689, 34699, 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; class A {} typedef G, Y extends X> = void Function(X); -test(G source) { - var fsource = toF(source); - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target3 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; - - F, A>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t15.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t15.dart index 0e68b70e89..2bc74cff82 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t15.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t15.dart @@ -46,101 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends X> = void Function(Y); -test(G source) { - var fsource = toF(source); - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target4 = fsource; - - F> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target13 = fsource; - - F> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target16 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Never>> target17 = fsource; - - F, Never>> target18 = fsource; - - F, Never>> target19 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t01.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t01.dart index 2751fe9ed7..a170236d23 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t01.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t01.dart @@ -46,90 +46,19 @@ * with two related parameters: [typedef G> = X * Function(Y)] * - * @Isue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = X Function(Y); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F>> target11 = fsource; - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t02.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t02.dart index 7f471cc247..efa3dae3cf 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t02.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t02.dart @@ -46,100 +46,19 @@ * with two related parameters: [typedef G> = Y * Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = Y Function(X); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; - - F>> target14 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, dynamic>> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Never>> target16 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t03.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t03.dart index fe03ff8926..19d24048ec 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t03.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t03.dart @@ -46,95 +46,19 @@ * with two related parameters: [typedef G> = X * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = X Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t04.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t04.dart index 0818a03a63..c32b74658a 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t04.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t04.dart @@ -46,95 +46,19 @@ * with two related parameters: [typedef G> = Y * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = Y Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t09.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t09.dart index 0749d871cc..d5d6d3f5e0 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t09.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t09.dart @@ -92,7 +92,7 @@ test(G source) { // [analyzer] unspecified // [cfe] unspecified - void Function>(A) target7 = source; + void Function>(A) target9 = source; // ^^^^^^ // [analyzer] unspecified // [cfe] unspecified diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t10.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t10.dart index 759f167879..3f625012e2 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t10.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t10.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G> = void * Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,50 +55,10 @@ class A {} typedef G> = void Function(Y); -test(G source) { - void Function>(A) target1 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target8 = source; - - void Function(Never) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target10 = source; } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t11.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t11.dart index c9eef6d574..44424d96ce 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t11.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t11.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G> = void * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,64 +55,10 @@ class A {} typedef G> = void Function(X, Y); -test(G source) { - - void Function(dynamic, A) target0 = source; - - void Function(dynamic, A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, dynamic) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t12.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t12.dart index 5a8d4f2324..0cec0bf37b 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t12.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t12.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G> = void * Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,133 +55,10 @@ class A {} typedef G> = void Function(X); -void test(G source) { - void Function(A) target = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A) target0 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target12 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target13 = source; - - void Function(A) target14 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target15 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target16 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target17 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target18 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target19 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Null) target20 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic) target21 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target22 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Null) target23 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic) target24 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t13.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t13.dart index 3d24d7d258..bc6bb1faa2 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t13.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t13.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G> = void * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,93 +55,10 @@ class A {} typedef G> = void Function(X, Y); -test(G source) { - void Function(A, dynamic) target = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(Never, A) target1 = source; - - void Function>(dynamic, A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A, dynamic) target12 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A, dynamic) target13 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic, dynamic) target14 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never, dynamic) target15 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic, Never) target16 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never, Never) target17 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t14.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t14.dart index 33d0c7fb50..891879e437 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t14.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t14.dart @@ -46,66 +46,19 @@ * with two related parameters: [typedef G> = * void Function(X)] * - * @Issue 41963, 41964, 43723, 43734, 43735 + * @Issue 41963, 41964, 43723, 43734, 43735, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = void Function(X); -test(G source) { - var fsource = toF(source); - - F>> target1 = fsource; - - F>> target2 = fsource; - - F>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target4 = fsource; - - F> target5 = fsource; - - F, A>> target6 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t15.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t15.dart index 2c5b92f311..b8b05511e1 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t15.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_05_t15.dart @@ -46,69 +46,19 @@ * with two related parameters: [typedef G> = * void Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G> = void Function(Y); -test(G source) { - var fsource = toF(source); - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; - - F>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; - - F, A>> target9 = fsource; - - F, A>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t01.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t01.dart index 767a91c4bf..fe4f333d47 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t01.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t01.dart @@ -46,90 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = X * Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = X Function(Y); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t02.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t02.dart index 2bd7f98aeb..02f284fbf5 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t02.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t02.dart @@ -46,100 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = Y * Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = Y Function(X); -test(G source) { - var fsource = toF(source); - - F, A>> target0 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target2 = fsource; - - F, A>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target8 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Never>> target16 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t03.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t03.dart index c92ad1822d..5691285562 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t03.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t03.dart @@ -46,95 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = X * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = X Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target4 = fsource; - - F, A>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t04.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t04.dart index 2ba0749c43..903b9ad679 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t04.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t04.dart @@ -46,95 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = Y * Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = Y Function(X, Y); -test(G source) { - var fsource = toF(source); - - F, Never>> target = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, Null>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target3 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F, A>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target5 = fsource; - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target13 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target14 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target15 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t09.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t09.dart index 19b65e5a61..67a92280cb 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t09.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t09.dart @@ -92,7 +92,7 @@ test(G source) { // [analyzer] unspecified // [cfe] unspecified - void Function>(A) target7 = source; + void Function>(A) target9 = source; // ^^^^^^ // [analyzer] unspecified // [cfe] unspecified diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t10.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t10.dart index c8e83552a7..6fc6573d0a 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t10.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t10.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,50 +55,10 @@ class A {} typedef G, Y extends A> = void Function(Y); -test(G source) { - void Function>(A) target1 = source; - - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(dynamic) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target7 = source; - - void Function(Never) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t11.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t11.dart index a19da6bd8f..2e97fb1ec0 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t11.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t11.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,61 +55,10 @@ class A {} typedef G, Y extends A> = void Function(X, Y); -test(G source) { - - void Function(dynamic, A) target0 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic, A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, dynamic) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; - - void Function>(A, A) target4 = source; - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t12.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t12.dart index c6e84206f3..3ba5f84be4 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t12.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t12.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,130 +55,10 @@ class A {} typedef G, Y extends A> = void Function(X); -void test(G source) { - void Function(A) target = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(A) target0 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target1 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target3 = source; - - void Function>(A) target4 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(dynamic) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Null) target12 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(Never) target13 = source; - - void Function(A) target14 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target15 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target16 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target17 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A) target18 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target19 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Null) target20 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic) target21 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never) target22 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Null) target23 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic) target24 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t13.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t13.dart index ded7f930cb..6b50427215 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t13.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t13.dart @@ -46,7 +46,8 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(X, Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ @@ -54,87 +55,10 @@ class A {} typedef G, Y extends A> = void Function(X, Y); -test(G source) { - void Function(A, dynamic) target = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function>(Never, A) target1 = source; - - void Function>(dynamic, A) target2 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target3 = source; - - void Function>(A, A) target4 = source; - - void Function>(A, A) target5 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target6 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target7 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target8 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target9 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target10 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function>(A, A) target11 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A, dynamic) target12 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(A, dynamic) target13 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic, dynamic) target14 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never, dynamic) target15 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(dynamic, Never) target16 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - void Function(Never, Never) target17 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t14.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t14.dart index c1290c9bf4..b0c608df09 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t14.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t14.dart @@ -46,76 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(X)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = void Function(X); -test(G source) { - var fsource = toF(source); - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target9 = fsource; - - F, A>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target12 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, dynamic>> target13 = fsource; - - F, Never>> target14 = fsource; } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t15.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t15.dart index c1999d620f..d9c86f8e86 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t15.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_06_t15.dart @@ -46,70 +46,19 @@ * with two related parameters: [typedef G, Y extends A> = * void Function(Y)] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - class A {} typedef G, Y extends A> = void Function(Y); -test(G source) { - var fsource = toF(source); - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; - - F>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target8 = fsource; - - F, A>> target9 = fsource; - - F, A>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F, A>> target12 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t03.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t03.dart index 5314d4ddef..a193e83ec3 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t03.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t03.dart @@ -45,76 +45,19 @@ * @description Checks that instantiate-to-bounds works correctly for * [typedef A = X Function(X); typedef G> = X Function()] * - * @Issue 41963, 41964 + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - typedef A = X Function(X); typedef G> = X Function(); -void test(G source) { - var fsource = toF(source); - - F>> target = fsource; - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target6 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F>>>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} - diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t07.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t07.dart index 6ada378c6f..c4a361d306 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t07.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t07.dart @@ -44,73 +44,19 @@ * @description Checks that instantiate-to-bounds works correctly for * [typedef A = X Function(X); * typedef G> = void Function(X)] - * @Issue 41963, 41964 + * + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 + * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - typedef A = X Function(X); typedef G> = void Function(X); -void test(G source) { - var fsource = toF(source); - - F>> target = fsource; - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target4 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target11 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified } - main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t11.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t11.dart index 96ef5620e7..e59650d8ef 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t11.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t11.dart @@ -44,74 +44,20 @@ * []. * @description Checks that instantiate-to-bounds works correctly for * [typedef A = X Function(X); typedef G> = X Function(X)] - * @Issue 41963, 41964 + * + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 + * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - typedef A = X Function(X); typedef G> = X Function(X); -void test(G source) { - var fsource = toF(source); - - F>> target = fsource; - - F>> target1 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>> target2 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target3 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target4 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F>>>>> target5 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target6 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target7 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target11 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t15.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t15.dart index 327c218f00..afb9c133d2 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t15.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t15.dart @@ -44,47 +44,20 @@ * []. * @description Checks that instantiate-to-bounds works correctly for * typedef A = X Function(X); typedef G> = void Function() - * @Issue 41963, 41964 + * + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 + * * @author iarkh@unipro.ru */ -import "../../../../Utils/expect.dart"; - typedef A = X Function(X); typedef G> = void Function(); -void testme(G source) { - var fsource = toF(source); - - F>> target = fsource; - - F>> target0 = fsource; -// ^^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - F>> target1 = fsource; - F>>> target2 = fsource; - F>>>> target3 = fsource; - F>>>>> target4 = fsource; - F>>> target5 = fsource; - F>>>> target6 = fsource; - F>>>>> target7 = fsource; - - F>>> target8 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>> target9 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified - - F>>>>> target10 = fsource; -// ^^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {} diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t19.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t19.dart index 429ffbe002..bf1321c6d4 100644 --- a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t19.dart +++ b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_typedef_l1_t19.dart @@ -45,25 +45,20 @@ * @description Checks that instantiate-to-bounds works correctly for * typedef typedef A = X Function(X); * typedef G> = void Function() - * @Issue 41963, 41964 + * + * @Issue 41963, 41964, 44786 + * @Issue dart-lang/language#1133 + * * @author iarkh@unipro.ru */ typedef A = X Function(X); typedef G> = void Function(); -void test(G source) { - void Function() target1 = source; - - void Function(Never) target2 = source; -// ^^^^^^ +main() { + G? source; +// ^^^^^^ // [analyzer] unspecified // [cfe] unspecified - void Function() target3 = source; -// ^^^^^^ -// [analyzer] unspecified -// [cfe] unspecified } - -main() {}