Add doc comment

Author: odersky

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -1593,6 +1593,10 @@ object Types {
     def isMatchedBy(tp: Type)(implicit ctx: Context): Boolean
     def fold[T](x: T, ta: TypeAccumulator[T])(implicit ctx: Context): T
     def map(tm: TypeMap)(implicit ctx: Context): ProtoType
+
+    /** If this prototype captures a context, the same prototype except that the result
+     *  captures the given context `ctx`.
+     */
     def withContext(ctx: Context): ProtoType = this
   }
 

compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala

@@ -358,7 +358,6 @@ object ProtoTypes {
       else new FunProto(args, resType)(typer, state)(newCtx)
   }
 
-
   /** A prototype for expressions that appear in function position
    *
    *  [](args): resultType, where args are known to be typed