Issue #946: LanguageFeatures/Instantiate-to-bounds/typeef/static/type…

…def_FutureOr tests updated according to the recent changes.
dart-lang · Oct 2, 2020 · cfdac8e · cfdac8e
1 parent 5543ed8
commit cfdac8e
Show file tree

Hide file tree

Showing 3 changed files with 37 additions and 11 deletions.
diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_FutureOr_l1_t03.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_FutureOr_l1_t03.dart
@@ -51,12 +51,23 @@
 // SharedOptions=--enable-experiment=non-nullable
 
 import "dart:async";
+import "../../../../Utils/expect.dart";
 
 typedef G<X extends FutureOr<X>> = X Function(X);
 
-main() {
-  G? source;
-//   ^^^^^^^
+test(G source) {
+  var fsource = toF(source);
+  F<G<FutureOr<dynamic>>> target = fsource;
+
+  F<G<FutureOr<Null>>> target1 = fsource;
+//                               ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  F<G<FutureOr<Null>>> target2 = fsource;
+//                               ^^^^^^^
 // [analyzer] unspecified
 // [cfe] unspecified
 }
+
+main() {}
diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_FutureOr_l1_t04.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_FutureOr_l1_t04.dart
@@ -50,12 +50,16 @@
 // SharedOptions=--enable-experiment=non-nullable
 
 import "dart:async";
+import "../../../../Utils/expect.dart";
 
 typedef G<X extends FutureOr<X>> = void Function();
 
-main() {
-  G? source;
-//   ^^^^^^^
-// [analyzer] unspecified
-// [cfe] unspecified
+test(G source) {
+  var fsource = toF(source);
+
+  F<G<FutureOr<dynamic>>> target = fsource;
+  F<G<FutureOr<Null>>> target1 = fsource;
+  F<G<FutureOr<Null>>> target2 = fsource;
 }
+
+main() {}
diff --git a/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_FutureOr_l1_t05.dart b/LanguageFeatures/Instantiate-to-bound/typedef/static/typedef_FutureOr_l1_t05.dart
@@ -52,7 +52,18 @@ import "dart:async";
 
 typedef G<X extends FutureOr<X>> = void Function<X1 extends X>();
 
-main() {
-  G? source;
-  void Function<X extends FutureOr<dynamic>>()? target = source;
+test(G source) {
+  void Function<X extends FutureOr<dynamic>>() target1 = source;
+
+  void Function<X extends FutureOr<Never>>()   target2 = source;
+//                                                       ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  void Function<X extends FutureOr<Null>>()    target3 = source;
+//                                                       ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
 }
+
+main() {}