Missed checks added to Language/Generics/syntax_t31 test
diff --git a/Language/Generics/syntax_t31.dart b/Language/Generics/syntax_t31.dart
index 9c9e6d1..ecb747e 100644
--- a/Language/Generics/syntax_t31.dart
+++ b/Language/Generics/syntax_t31.dart
@@ -4,8 +4,8 @@
/// @assertion A generic type is a type which is introduced by a generic class
/// declaration or a generic type alias, or it is the type [FutureOr].
-/// @description Checks that exception is thrown when try to use non-generic type
-/// with typed parameter
+/// @description Checks that it is a compile error when try to use non-generic
+/// type with typed parameter
/// @author iarkh@unipro.ru
class A {}
@@ -16,4 +16,28 @@
typedef Func1 = void Function(int);
main() {
+ A<int>();
+//^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ testme<int>();
+// ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ AAlias<int>();
+//^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ TestFunction<int> tf = () => 42;
+//^^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+ Func1<int> f1 = (int i) {};
+//^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
}
