Add CyclicImplicitVal error to messages

1 files changed, 11 insertions, 0 deletions

diff --git a/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
index 489165e56..ce3cb48ec 100644
--- a/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
+++ b/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
@@ -899,4 +899,15 @@ object messages {
     val msg = hl"trying to define package with same name as `$existing`"
     val explanation = ""
   }
+
+  case class CyclicImplicitVal(cycleSym: Symbol)(implicit ctx: Context)
+  extends Message(34) {
+    val kind = "Cyclic Reference"
+    val msg = em"cyclic reference involving $cycleSym"
+    val explanation =
+      hl"""|This happens when the right hand-side of $cycleSym's definition
+           |involves an implicit search.
+           |
+           |To avoid the error, give $cycleSym an explicit type."""
+  }
 }