Move LambdaType.isImplicit to MethodType.isImplicit

Use Type.isImplicitMethod instead of LambdaType.isImplicit

Author: nicolasstucki

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

@@ -325,7 +325,7 @@ object Denotations {
                 if (tp1.isInstanceOf[PolyType] && tp2.isInstanceOf[MethodType]) tp2
                 else if (tp2.isInstanceOf[PolyType] && tp1.isInstanceOf[MethodType]) tp1
                 else if (ctx.typeComparer.matchingParams(tp1, tp2) &&
-                         tp1.isImplicit == tp2.isImplicit)
+                         tp1.isImplicitMethod == tp2.isImplicitMethod)
                   tp1.derivedLambdaType(
                     mergeParamNames(tp1, tp2), tp1.paramInfos,
                     infoMeet(tp1.resultType, tp2.resultType.subst(tp2, tp1)))
@@ -481,7 +481,7 @@ object Denotations {
           tp2 match {
             case tp2: MethodOrPoly
             if ctx.typeComparer.matchingParams(tp1, tp2) &&
-               tp1.isImplicit == tp2.isImplicit =>
+               tp1.isImplicitMethod == tp2.isImplicitMethod =>
               tp1.derivedLambdaType(
                 mergeParamNames(tp1, tp2), tp1.paramInfos,
                 tp1.resultType | tp2.resultType.subst(tp2, tp1))

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

@@ -508,7 +508,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
         case tp1: MethodOrPoly =>
           (tp1.signature consistentParams tp2.signature) &&
             matchingParams(tp1, tp2) &&
-            tp1.isImplicit == tp2.isImplicit &&
+            tp1.isImplicitMethod == tp2.isImplicitMethod &&
             isSubType(tp1.resultType, tp2.resultType.subst(tp2, tp1))
         case _ =>
           false

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

@@ -2521,8 +2521,6 @@ object Types {
 
     override def resultType(implicit ctx: Context) = resType
 
-    def isImplicit = false
-
     def isDependent(implicit ctx: Context): Boolean
     def isParamDependent(implicit ctx: Context): Boolean
 
@@ -2711,7 +2709,7 @@ object Types {
     final def companion: MethodTypeCompanion = MethodType.withKind(kind)
 
     final def isJava: Boolean = kind is JavaKind
-    final override def isImplicit: Boolean = kind is ImplicitKind
+    final def isImplicit: Boolean = kind is ImplicitKind
 
     val paramInfos = paramInfosExp(this)
     val resType = resultTypeExp(this)