Merge pull request #8265 from dotty-staging/update-refined-printer-to-new-given-syntax

Update RefinedPrinter to new given syntax

Author: odersky

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 => _}