Merge pull request #8239 from dotty-staging/update-erased-function-parse-error

Update message for erased function types

Author: liufengyun

compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala

@@ -2383,17 +2383,17 @@ object messages {
       val explanation: String = ""
     }
 
-  case class ImplicitTypesCanOnlyBeFunctionTypes()(implicit val ctx: Context)
+  case class ImplicitTypesCanOnlyBeFunctionTypes()(implicit val ctx: Context) // TODO remove when (given ...) => is removed
     extends Message(ImplicitTypesCanOnlyBeFunctionTypesID) {
     val kind: String = "Syntax"
-    val msg: String = "Types with given keyword can only be function types `given (...) => ...`"
+    val msg: String = "Types with given keyword can only be function types `(given ...) => ...`"
     val explanation: String = ""
   }
 
   case class ErasedTypesCanOnlyBeFunctionTypes()(implicit val ctx: Context)
     extends Message(ErasedTypesCanOnlyBeFunctionTypesID) {
     val kind: String = "Syntax"
-    val msg: String = "Types with erased keyword can only be function types `erased (...) => ...`"
+    val msg: String = "Types with erased keyword can only be function types `(erased ...) => ...`"
     val explanation: String = ""
   }
 

compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala

@@ -1699,7 +1699,7 @@ class ErrorMessagesTests extends ErrorMessagesTest {
         implicit val ctx: Context = ictx
         assertMessageCount(1, messages)
         val ImplicitTypesCanOnlyBeFunctionTypes() :: Nil = messages
-        assertEquals("Types with given keyword can only be function types `given (...) => ...`", messages.head.msg)
+        assertEquals("Types with given keyword can only be function types `(given ...) => ...`", messages.head.msg)
       }
 
   @Test def erasedTypesCanOnlyBeFunctionTypesFailed() =
@@ -1708,7 +1708,7 @@ class ErrorMessagesTests extends ErrorMessagesTest {
         implicit val ctx: Context = ictx
         assertMessageCount(1, messages)
         val ErasedTypesCanOnlyBeFunctionTypes() :: Nil = messages
-        assertEquals("Types with erased keyword can only be function types `erased (...) => ...`", messages.head.msg)
+        assertEquals("Types with erased keyword can only be function types `(erased ...) => ...`", messages.head.msg)
       }
 
   @Test def caseClassMissingParamListSuccessful =