diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala
index c3232fbe086d..5d0160d168f9 100644
--- a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala
+++ b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala
@@ -772,8 +772,9 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
   }
 
   private def paramsText[T>: Untyped](params: List[ValDef[T]]) =
-    keywordText(" with ").provided(params.nonEmpty && params.head.mods.is(Given))
-    ~ "(" ~ toText(params, ", ") ~ ")"
+    "(" ~ keywordText("using ").provided(params.nonEmpty && params.head.mods.is(Given))
+        ~ keywordText("erased ").provided(params.nonEmpty && params.head.mods.is(Erased))
+        ~ toText(params, ", ") ~ ")"
 
   protected def defDefToText[T >: Untyped](tree: DefDef[T]): Text = {
     import untpd.{modsDeco => _}