diff options
-rw-r--r-- | compiler/src/dotty/tools/dotc/parsing/Parsers.scala | 6 | ||||
-rw-r--r-- | tests/pos/annot.scala | 1 |
2 files changed, 6 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala index 3162f61b4..9f4cdbd35 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 dec6af945..bdaf82e12 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 = ??? } |