Issue #465: tests for Generics in NNBD added.
diff --git a/LanguageFeatures/nnbd/generics_A01_t07.dart b/LanguageFeatures/nnbd/generics_A01_t07.dart
index 605e0db..73791f2 100644
--- a/LanguageFeatures/nnbd/generics_A01_t07.dart
+++ b/LanguageFeatures/nnbd/generics_A01_t07.dart
@@ -7,7 +7,7 @@
* @assertion The default bound of generic type parameters is treated as
* [Object?].
* @description Check that default function type parameter is treated as
- * [Object?] dynamically.
+ * [Object?].
* @author iarkh@unipro.ru
*/
// SharedOptions=--enable-experiment=non-nullable
diff --git a/LanguageFeatures/nnbd/generics_A01_t08.dart b/LanguageFeatures/nnbd/generics_A01_t08.dart
new file mode 100644
index 0000000..0f68179
--- /dev/null
+++ b/LanguageFeatures/nnbd/generics_A01_t08.dart
@@ -0,0 +1,48 @@
+ /*
+ * Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion The default bound of generic type parameters is treated as
+ * [Object?].
+ * @description Check that default function type alias parameter is treated as
+ * [Object?] dynamically.
+ * @author iarkh@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+
+import "../../Utils/expect.dart";
+
+typedef T Function1<T>();
+typedef void Function2<T>(T);
+typedef T Function3<T>(T);
+typedef T1 Function4<T1, T2, T3>(T2, T3);
+typedef void Function5<T>();
+
+void main() {
+ Expect.equals(
+ typeOf<Function1<Object?>>(),
+ typeOf<Function1>()
+ );
+
+ Expect.equals(
+ typeOf<Function2<Object?>>(),
+ typeOf<Function2>()
+ );
+
+ Expect.equals(
+ typeOf<Function3<Object?>>(),
+ typeOf<Function3>()
+ );
+
+ Expect.equals(
+ typeOf<Function4<Object?, Object?, Object?>>(),
+ typeOf<Function4>()
+ );
+ Expect.equals(
+ typeOf<Function5<Object?>>(),
+ typeOf<Function5>()
+ );
+
+}
diff --git a/LanguageFeatures/nnbd/generics_A01_t09.dart b/LanguageFeatures/nnbd/generics_A01_t09.dart
new file mode 100644
index 0000000..93cb493
--- /dev/null
+++ b/LanguageFeatures/nnbd/generics_A01_t09.dart
@@ -0,0 +1,48 @@
+ /*
+ * Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
+ * for details. All rights reserved. Use of this source code is governed by a
+ * BSD-style license that can be found in the LICENSE file.
+ */
+/**
+ * @assertion The default bound of generic type parameters is treated as
+ * [Object?].
+ * @description Check that default function type alias parameter is treated as
+ * [Object?] statically.
+ * @author iarkh@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+
+import "../../Utils/expect.dart";
+
+typedef T Function1<T>();
+typedef void Function2<T>(T);
+typedef T Function3<T>(T);
+typedef T1 Function4<T1, T2, T3>(T2, T3);
+typedef void Function5<T>();
+
+F<Function1<Object?>> test1(Function1 source) {
+ var fsource = toF(source);
+ return fsource;
+}
+
+F<Function2<Object?>> test2(Function2 source) {
+ var fsource = toF(source);
+ return fsource;
+}
+
+F<Function1<Object?>> test3(Function1 source) {
+ var fsource = toF(source);
+ return fsource;
+}
+
+F<Function4<Object?, Object?, Object?>> test4(Function4 source) {
+ var fsource = toF(source);
+ return fsource;
+}
+
+F<Function5<dynamic>> test5(Function5 source) {
+ var fsource = toF(source);
+ return fsource;
+}
+
+void main() {}
