Merge pull request #5864 from dotty-staging/fix-#5855

Fix #5855: Print `given` for contextual function types

Author: nicolasstucki

compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala

@@ -183,7 +183,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
         "<noprefix>"
       case tp: MethodType =>
         changePrec(GlobalPrec) {
-          (if (tp.isContextual) " with " else "") ~
+          (if (tp.isContextual) " given " else "") ~
           ("(" + (if (tp.isErasedMethod)   "erased "   else "")
                + (if (tp.isImplicitMethod && !tp.isContextual) "implicit " else "")
           ) ~ paramsText(tp) ~

compiler/test-resources/repl/defs

@@ -10,3 +10,5 @@ scala> def id(x: 4): 4 = x
 def id(x: Int(4)): Int(4)
 scala> id(4)
 val res0: Int = 4
+scala> def f given Int = 1
+def f given (x$1: Int): Int