Update compiler/src/dotty/tools/dotc/core/TypeErrors.scala

scala · Apr 25, 2024 · 46e0d9d · 46e0d9d
1 parent 5efacbe
commit 46e0d9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErrors.scala b/compiler/src/dotty/tools/dotc/core/TypeErrors.scala
@@ -205,7 +205,7 @@ object CyclicReference:
   private def isTraced(using Context) =
     ctx.property(CyclicReference.Trace).isDefined
 
-  private def pushTrace(info: Context ?=> String)(using Context): Unit =
+  private def pushTrace(info: TraceElement)(using Context): Unit =
     for buf <- ctx.property(CyclicReference.Trace) do
       buf += info