Merge pull request #11525 from Kordyjan/jsr308

Fix #11490: Support Java type annotation parsing

Author: Kordyjan

compiler/src/dotty/tools/dotc/parsing/JavaParsers.scala

@@ -277,6 +277,7 @@ object JavaParsers {
       }
 
     def typ(): Tree =
+      annotations()
       optArrayBrackets {
         if (in.token == FINAL) in.nextToken()
         if (in.token == IDENTIFIER) {
@@ -515,6 +516,7 @@ object JavaParsers {
 
     def typeParam(flags: FlagSet): TypeDef =
       atSpan(in.offset) {
+        annotations()
         val name = identForType()
         val hi = if (in.token == EXTENDS) { in.nextToken() ; bound() } else javaLangObject()
         TypeDef(name, TypeBoundsTree(EmptyTree, hi)).withMods(Modifiers(flags))

tests/pos/i11490/First.java

@@ -0,0 +1,7 @@
+package i11490;
+
+import java.lang.annotation.*;
+
+@Retention(RetentionPolicy.RUNTIME)
+@Target({ ElementType.TYPE_USE, ElementType.TYPE_PARAMETER })
+public @interface First {}

tests/pos/i11490/Second.java

@@ -0,0 +1,7 @@
+package i11490;
+
+import java.lang.annotation.*;
+
+@Retention(RetentionPolicy.RUNTIME)
+@Target({ ElementType.TYPE_USE, ElementType.TYPE_PARAMETER })
+public @interface Second {}

tests/pos/i11490/Use.java

@@ -0,0 +1,7 @@
+package i11490;
+
+import java.util.List;
+
+public class Use<@First T extends @Second List<@First @Second String>> {
+    public <@First S> @Second @First String method(@Second int a, @First @Second S b) { return ""; }
+}