diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
index 394d880ab13b..d8b99c630d3e 100644
--- a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
+++ b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -117,7 +117,7 @@ trait SymDenotations { this: Context =>
   /** Possibly accept stale symbol with warning if in IDE */
   def acceptStale(denot: SingleDenotation): Boolean =
     staleOK && {
-      ctx.echo(denot.staleSymbolMsg)
+      ctx.debugwarn(denot.staleSymbolMsg)
       true
     }
 }
diff --git a/compiler/test-resources/repl/i7644 b/compiler/test-resources/repl/i7644
new file mode 100644
index 000000000000..25d219c24b56
--- /dev/null
+++ b/compiler/test-resources/repl/i7644
@@ -0,0 +1,14 @@
+scala> class T extends Eql
+1 | class T extends Eql
+  |       ^
+  |       Cannot extend sealed trait Eql in a different source file
+1 | class T extends Eql
+  |                 ^^^
+  |                 Missing type parameter for Eql
+scala> class T extends Eql
+1 | class T extends Eql
+  |       ^
+  |       Cannot extend sealed trait Eql in a different source file
+1 | class T extends Eql
+  |                 ^^^
+  |                 Missing type parameter for Eql