diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
index 3162f61b4c24..9f4cdbd35a76 100644
--- a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
+++ b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -713,7 +713,11 @@ object Parsers {
                 if (t.isInstanceOf[ByNameTypeTree])
                   syntaxError(ByNameParameterNotSupported())
               val tuple = atPos(start) { makeTupleOrParens(ts) }
-              infixTypeRest(refinedTypeRest(withTypeRest(simpleTypeRest(tuple))))
+              infixTypeRest(
+                refinedTypeRest(
+                  withTypeRest(
+                    annotTypeRest(
+                      simpleTypeRest(tuple)))))
             }
           }
         }
diff --git a/tests/pos/annot.scala b/tests/pos/annot.scala
index dec6af94564c..bdaf82e12ac5 100644
--- a/tests/pos/annot.scala
+++ b/tests/pos/annot.scala
@@ -24,5 +24,6 @@ class Test {
 
   class C extends A @uncheckedVariance () with B @uncheckedVariance { val x = 10 }
 
+  val f: (Int => Int) @uncheckedVariance = ???
 }