Make implicit functions have implicit function type

odersky · odersky · commit 5117a8d6bdb2 · 2016-12-03T19:38:20.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1210,7 +1210,7 @@ object Types {
       case mt @ MethodType(_, formals) if !mt.isDependent || ctx.mode.is(Mode.AllowDependentFunctions) =>
         val formals1 = if (dropLast == 0) formals else formals dropRight dropLast
         defn.FunctionOf(
-            formals1 mapConserve (_.underlyingIfRepeated(mt.isJava)), mt.resultType)
+          formals1 mapConserve (_.underlyingIfRepeated(mt.isJava)), mt.resultType, mt.isImplicit && !ctx.erasedTypes)
     }
 
     /** The signature of this type. This is by default NotAMethod,

Original file line number	Diff line number	Diff line change
`@@ -1210,7 +1210,7 @@ object Types {`
`1210`	`1210`	`case mt @ MethodType(_, formals) if !mt.isDependent \|\| ctx.mode.is(Mode.AllowDependentFunctions) =>`
`1211`	`1211`	`val formals1 = if (dropLast == 0) formals else formals dropRight dropLast`
`1212`	`1212`	`defn.FunctionOf(`
`1213`		`- formals1 mapConserve (_.underlyingIfRepeated(mt.isJava)), mt.resultType)`
	`1213`	`+ formals1 mapConserve (_.underlyingIfRepeated(mt.isJava)), mt.resultType, mt.isImplicit && !ctx.erasedTypes)`
`1214`	`1214`	`}`
`1215`	`1215`
`1216`	`1216`	`/** The signature of this type. This is by default NotAMethod,`