Merge pull request #5815 from dotty-staging/fix-#4539

Fix #4539: Add missing `'[` in canStartExpressionTokens

Author: Aggelos Biboudis

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

@@ -215,7 +215,7 @@ object Tokens extends TokensCommon {
     USCORE, NULL, THIS, SUPER, TRUE, FALSE, RETURN, XMLSTART)
 
   final val canStartExpressionTokens: TokenSet = atomicExprTokens | BitSet(
-    LBRACE, LPAREN, QBRACE, QPAREN, IF, DO, WHILE, FOR, NEW, TRY, THROW)
+    LBRACE, LPAREN, QBRACE, QPAREN, QBRACKET, IF, DO, WHILE, FOR, NEW, TRY, THROW)
 
   final val canStartTypeTokens: TokenSet = literalTokens | identifierTokens | BitSet(
     THIS, SUPER, USCORE, LPAREN, AT)

compiler/test-resources/repl/i4539

@@ -0,0 +1,7 @@
+scala> val a = '[Int]
+val a: quoted.Type[Int] = Type(Int)
+scala> '[Int]
+val res0: quoted.Type[Int] = Type(Int)
+scala> '[Int]; '[Int]
+val res1: quoted.Type[Int] = Type(Int)
+val res2: quoted.Type[Int] = Type(Int)

tests/pos/i4539.scala

@@ -0,0 +1,4 @@
+object Foo {
+  val q = '[String]
+  '[String]
+}

tests/pos/i4539b.scala

@@ -0,0 +1,21 @@
+object Foo {
+  def f = {
+    {
+      '[String]
+      '[String]
+    }
+
+    '[String] match { case _ => }
+    try '[String] catch { case _ => }
+
+    '[String]
+    '[String]
+  }
+
+  def bar[T](t: quoted.Type[T]) = ???
+  bar('[String])
+
+  class Baz[T](t: quoted.Type[T])
+  new Baz('[String])
+
+}