stable identifier message

Author: hermesespinola

compiler/src/dotty/tools/dotc/reporting/diagnostic/ErrorMessageID.java

@@ -139,7 +139,8 @@ public enum ErrorMessageID {
     PureExpressionInStatementPositionID,
     TraitCompanionWithMutableStaticID,
     LazyStaticFieldID,
-    StaticOverridingNonStaticMembersID
+    StaticOverridingNonStaticMembersID,
+    StableIdentPatternID
     ;
 
     public int errorNumber() {

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

@@ -2170,4 +2170,13 @@ object messages {
     override def kind: String = "Syntax"
     override def explanation: String = ""
   }
+
+  case class StableIdentPattern(tree: untpd.Tree, pt: Type)(implicit val ctx: Context)
+    extends Message(StableIdentPatternID) {
+    override def kind: String = "Syntax"
+    override def msg: String = {
+      hl"""|Stable identifier required, but ${tree.show} found"""
+    }
+    override def explanation: String = ""
+  }
 }

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -418,7 +418,7 @@ class Typer extends Namer
         !pt.isInstanceOf[ApplyingProto] &&
         !tree.tpe.isStable &&
         !isWildcardArg(tree))
-      ctx.error(s"stable identifier required, but ${tree.show} found", tree.pos)
+      ctx.error(StableIdentPattern(tree, pt), tree.pos)
 
     tree
   }