Test that generic metadata is unsupported inside function bodies.

Currently we don't support generic metadata, but we'll be adding
support soon (dart-lang/language#1297).
When we add it, we'll still want to have tests to make sure that it's
not allowed in older language versions.

The tests we currently have to make sure it's not allowed only test
annotations occurring outside of function bodies, however the front
end code paths for handling code inside function bodies are
sufficiently different that it makes sense to test inside function
bodies too.

Bug: #44838
Change-Id: I846f2fc2e5ae090f21744ed6407b21a48a6d08ff
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/182601
Reviewed-by: Bob Nystrom <[email protected]>

Author: stereotype441

tests/language/generic/metadata_in_function_body_test.dart

@@ -0,0 +1,26 @@
+// Copyright (c) 2021, 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.
+
+// Check that annotations inside function bodies cannot use type arguments, but
+// can be raw.
+
+class C<T> {
+  const C();
+}
+
+void ignore(dynamic value) {}
+
+main() {
+  @C()
+  @C<dynamic>()
+  //^
+  // [analyzer] SYNTACTIC_ERROR.ANNOTATION_WITH_TYPE_ARGUMENTS
+  // [cfe] An annotation (metadata) can't use type arguments.
+  @C<int>()
+  //^
+  // [analyzer] SYNTACTIC_ERROR.ANNOTATION_WITH_TYPE_ARGUMENTS
+  // [cfe] An annotation (metadata) can't use type arguments.
+  int i = 0;
+  ignore(i);
+}

tests/language_2/generic/metadata_in_function_body_test.dart

@@ -0,0 +1,26 @@
+// Copyright (c) 2021, 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.
+
+// Check that annotations inside function bodies cannot use type arguments, but
+// can be raw.
+
+class C<T> {
+  const C();
+}
+
+void ignore(dynamic value) {}
+
+main() {
+  @C()
+  @C<dynamic>()
+  //^
+  // [analyzer] SYNTACTIC_ERROR.ANNOTATION_WITH_TYPE_ARGUMENTS
+  // [cfe] An annotation (metadata) can't use type arguments.
+  @C<int>()
+  //^
+  // [analyzer] SYNTACTIC_ERROR.ANNOTATION_WITH_TYPE_ARGUMENTS
+  // [cfe] An annotation (metadata) can't use type arguments.
+  int i = 0;
+  ignore(i);
+}