Allow literals as given types

odersky · odersky · commit 0fc275267efc · 2021-01-13T16:05:02.000+01:00
Fixes #11102
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -3534,7 +3534,9 @@ object Parsers {
         newLinesOpt()
         val noParams = tparams.isEmpty && vparamss.isEmpty
         if !(name.isEmpty && noParams) then accept(COLON)
-        val parents = constrApp() :: withConstrApps()
+        val parents =
+          if isSimpleLiteral then toplevelTyp() :: Nil
+          else constrApp() :: withConstrApps()
         val parentsIsType = parents.length == 1 && parents.head.isType
         if in.token == EQUALS && parentsIsType then
           accept(EQUALS)
diff --git a/tests/pos/i11102.scala b/tests/pos/i11102.scala
@@ -0,0 +1,3 @@
+given s: "literal" = "literal" // compile error
+given "foo" = "foo"
+given x: 1 = 1

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+given s: "literal" = "literal" // compile error`
	`2`	`+given "foo" = "foo"`
	`3`	`+given x: 1 = 1`