Simplify function erasure

nicolasstucki · nicolasstucki · commit 3ea39eaddf37 · 2023-07-13T16:20:13.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErasure.scala b/compiler/src/dotty/tools/dotc/core/TypeErasure.scala
@@ -567,10 +567,7 @@ object TypeErasure {
         functionType(info.resultType)
       case info: MethodType =>
         assert(!info.resultType.isInstanceOf[MethodicType])
-        defn.FunctionType(
-          n = info.erasedParams.count(_ == false),
-          isContextual = info.isImplicitMethod,
-        )
+        defn.FunctionType(n = info.erasedParams.count(_ == false))
     }
     erasure(functionType(applyInfo))
 }

Original file line number	Diff line number	Diff line change
`@@ -567,10 +567,7 @@ object TypeErasure {`
`567`	`567`	`functionType(info.resultType)`
`568`	`568`	`case info: MethodType =>`
`569`	`569`	`assert(!info.resultType.isInstanceOf[MethodicType])`
`570`		`- defn.FunctionType(`
`571`		`- n = info.erasedParams.count(_ == false),`
`572`		`- isContextual = info.isImplicitMethod,`
`573`		`- )`
	`570`	`+ defn.FunctionType(n = info.erasedParams.count(_ == false))`
`574`	`571`	`}`
`575`	`572`	`erasure(functionType(applyInfo))`
`576`	`573`	`}`