Doing less work in type checking contextual function

liufengyun · liufengyun · commit 5829c18e10d8 · 2021-03-03T08:27:31.000+01:00
In type checking a contextual function,
there is no need to do more adaptation.
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2720,7 +2720,7 @@ class Typer extends Namer
 
     val ifun = desugar.makeContextualFunction(paramTypes, tree, defn.isErasedFunctionType(pt))
     typr.println(i"make contextual function $tree / $pt ---> $ifun")
-    typed(ifun, pt)
+    typedFunctionValue(ifun, pt)
   }
 
   /** Typecheck and adapt tree, returning a typed tree. Parameters as for `typedUnadapted` */

Original file line number	Diff line number	Diff line change
`@@ -2720,7 +2720,7 @@ class Typer extends Namer`
`2720`	`2720`
`2721`	`2721`	`val ifun = desugar.makeContextualFunction(paramTypes, tree, defn.isErasedFunctionType(pt))`
`2722`	`2722`	`typr.println(i"make contextual function $tree / $pt ---> $ifun")`
`2723`		`- typed(ifun, pt)`
	`2723`	`+ typedFunctionValue(ifun, pt)`
`2724`	`2724`	`}`
`2725`	`2725`
`2726`	`2726`	/** Typecheck and adapt tree, returning a typed tree. Parameters as for `typedUnadapted` */