Issue #946: LanguageFeatures/Instantiate-to-bounds/typedef/static/typ…

…edef_l2_t05_* tests updated according to the recent SDK changes.
dart-lang · Oct 8, 2020 · 4d2380c · 4d2380c
1 parent 98600c0
commit 4d2380c
Show file tree

Hide file tree

Showing 21 changed files with 1,357 additions and 69 deletions.
diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t08.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t08.dart
@@ -62,17 +62,17 @@ test(G source) {
 // [analyzer] unspecified
 // [cfe] unspecified
 
-  void Function<X extends A<dynamic>, Y extends A<dynamic>>(A<Never>) target2 = source;
-//                                                                              ^^^^^^
+  void Function<X extends A<Never>, Y extends A<dynamic>>(A<Never>) target2 = source;
+//                                                                            ^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 
-  void Function<X extends A<Never>, Y extends A<Never>>(A<dynamic>) target3 = source;
-//                                                                            ^^^^^^
+  void Function<X extends A<Never>, Y extends A<Never>>(A<Never>) target3 = source;
+//                                                                          ^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 
-  void Function<X extends A<Never>, Y extends A<Never>>(A<Never>) target4 = source;
+  void Function<X extends A<dynamic>, Y extends A<Never>>(A<dynamic>) target4 = source;
 //                                                                          ^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified

diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t09.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_l2_04_t09.dart
@@ -60,13 +60,13 @@ test(G source) {
 // [analyzer] unspecified
 // [cfe] unspecified
 
-  void Function<X extends A<dynamic>, Y extends A<dynamic>>(A<Never>) target2 = source;
-//                                                                              ^^^^^^
+  void Function<X extends A<dynamic>, Y extends A<Never>>(A<Never>) target2 = source;
+//                                                                            ^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 
-  void Function<X extends A<Never>, Y extends A<Never>>(A<dynamic>) target3 = source;
-//                                                                            ^^^^^^
+  void Function<X extends A<Never>, Y extends A<dynamic>>(A<dynamic>) target3 = source;
+//                                                                              ^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 

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
@@ -52,12 +52,85 @@
  */
 // SharedOptions=--enable-experiment=non-nullable
 
+import "../../../../Utils/expect.dart";
+
 class A<X> {}
 typedef G<X extends Y, Y extends A<X>> = X Function(Y);
 
-main() {
-  G? source;
-//   ^^^^^^
+test(G source) {
+  var fsource = toF(source);
+
+  F<G<A<dynamic>, A<Never>>> target0 = fsource;
+//                                     ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, A<dynamic>>> target1 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,   A<dynamic>>> target2 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,   A<Never>>>   target3 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, A<Null>>>    target4 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Null>,    A<dynamic>>> target5 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Null>,   A<Null>>>     target6 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic,   Never>>       target7 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic,   dynamic>>     target8 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never,     dynamic>>     target9 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never,     Never>>       target10 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic,   A<Never>>>    target11 = fsource;
+
+  F<G<dynamic,   A<dynamic>>>  target12 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never,     A<dynamic>>>  target13 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never,     A<Never>>>    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
@@ -52,12 +52,95 @@
  */
 // SharedOptions=--enable-experiment=non-nullable
 
+import "../../../../Utils/expect.dart";
+
 class A<X> {}
 typedef G<X extends Y, Y extends A<X>> = Y Function(X);
 
-main() {
-  G? source; 
-//   ^^^^^^
+test(G source) {
+  var fsource = toF(source);
+
+  F<G<A<dynamic>, A<Never>>> target0 = fsource;
+//                                     ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, A<dynamic>>> target1 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,   A<dynamic>>> target2 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,   A<Never>>>   target3 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, A<Null>>>    target4 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Null>,    A<dynamic>>> target5 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Null>,   A<Null>>>     target6 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic,   Never>>       target7 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic,   dynamic>>     target8 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never,     dynamic>>     target9 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never,     Never>>       target10 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic,   A<Never>>>    target11 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic,   A<dynamic>>>  target12 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never,     A<dynamic>>>  target13 = fsource;
+
+  F<G<Never,     A<Never>>>    target14 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,     dynamic>>  target15 = fsource;
+//                                        ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,     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
@@ -52,12 +52,90 @@
  */
 // SharedOptions=--enable-experiment=non-nullable
 
+import "../../../../Utils/expect.dart";
+
 class A<X> {}
 typedef G<X extends Y, Y extends A<X>> = X Function(X, Y);
 
-main() {
-  G? source;
-//   ^^^^^^
+test(G source) {
+  var fsource = toF(source);
+
+  F<G<A<dynamic>, Never>> target = fsource;
+//                                 ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, Null>>       target1 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, dynamic>>    target2 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, A<dynamic>>> target3 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, A<Never>>>   target4 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,   A<dynamic>>> target5 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Never>,   A<Never>>>   target6 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<dynamic>, A<Null>>>    target7 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Null>,    A<dynamic>>> target8 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<A<Null>,   A<Null>>>     target9 = fsource;
+//                                       ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic, A<dynamic>>> target10 = fsource;
+//                                     ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<dynamic, A<Never>>>   target11 = fsource;
+
+  F<G<dynamic, A<Null>>> target12 = fsource;
+//                                  ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never, A<dynamic>>> target13 = fsource;
+//                                   ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never, A<Never>>>   target14 = fsource;
+//                                   ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<Never, A<Null>>> target15 = fsource;
+//                                ^^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 }
+
+main() {}