Move UseAfterConsume to messages.scala

Author: Linyxus

compiler/src/dotty/tools/dotc/cc/SepCheck.scala

@@ -454,32 +454,6 @@ class SepCheck(checker: CheckCaptures.CheckerAPI) extends tpd.TreeTraverser:
             |No clashing definitions were found. This might point to an internal error.""",
         tree.srcPos)
 
-  class UseAfterConsume(ref: Capability, consumedLoc: SrcPos, useLoc: SrcPos)(using Context) extends reporting.Message(reporting.ErrorMessageID.NoExplanationID):
-    def kind = reporting.MessageKind.NoKind
-
-    protected def msg(using Context): String = ""
-
-    protected def explain(using Context): String = ""
-
-    override def leading(using Context): Option[String] = Some(
-      em"""Separation failure: Illegal access to $ref, which was passed to a
-          |consume parameter or was used as a prefix to a consume method
-          |and therefore is no longer available.""".message
-    )
-
-    override def parts(using Context): List[reporting.Message.MessagePart] = List(
-      reporting.Message.MessagePart(
-        "The capability was consumed here.",
-        consumedLoc.sourcePos,
-        isPrimary = false
-      ),
-      reporting.Message.MessagePart(
-        "Then, it was used here",
-        useLoc.sourcePos,
-        isPrimary = true
-      )
-    )
-
   /** Report a failure where a previously consumed capability is used again,
    *  @param ref     the capability that is used after being consumed
    *  @param loc     the position where the capability was consumed

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

@@ -3741,3 +3741,27 @@ final class EncodedPackageName(name: Name)(using Context) extends SyntaxMsg(Enco
        |or `myfile-test.scala` can produce encoded names for the generated package objects.
        |
        |In this case, the name `$name` is encoded as `${name.encode}`."""
+
+class UseAfterConsume(ref: cc.Capabilities.Capability, consumedLoc: SourcePosition, useLoc: SourcePosition)(using Context)
+extends TypeMsg(NoExplanationID):
+  protected def msg(using Context): String =
+    i"""Separation failure: Illegal access to $ref, which was passed to a
+       |consume parameter or was used as a prefix to a consume method
+       |and therefore is no longer available."""
+
+  protected def explain(using Context): String = ""
+
+  override def leading(using Context): Option[String] = Some(message)
+
+  override def parts(using Context): List[Message.MessagePart] = List(
+    Message.MessagePart(
+      "The capability was consumed here.",
+      consumedLoc,
+      isPrimary = false
+    ),
+    Message.MessagePart(
+      "Then, it was used here",
+      useLoc,
+      isPrimary = true
+    )
+  )