Dropping eligibility of conforms as an implicit conversion.

"conforms" is no longer special-cased to be eligible as a implicit conversion. Only implicit methods are eligible, whereas conforms is an implicit value with an apply method. So far, "conforms" as an implicit conversion masked in effect some type inference bugs. With the previous two commits, it is no longer necessary because two type inference bugs got fixed.

Author: odersky

src/dotty/tools/dotc/typer/Implicits.scala

@@ -63,14 +63,9 @@ object Implicits {
           case tpw: TermRef =>
             false // can't discard overloaded refs
           case tpw =>
-            def isConforms(sym: Symbol) =
-              sym.exists && sym.owner == defn.ScalaPredefModule.moduleClass && sym.name == tpnme.Conforms
-            if (isConforms(tpw.typeSymbol)) false // todo: figure out why we need conforms
-            else {
-              //if (ctx.typer.isApplicable(tp, argType :: Nil, resultType))
-              //  println(i"??? $tp is applicable to $this / typeSymbol = ${tpw.typeSymbol}")
-              true
-            }
+            //if (ctx.typer.isApplicable(tp, argType :: Nil, resultType))
+            //  println(i"??? $tp is applicable to $this / typeSymbol = ${tpw.typeSymbol}")
+            true
         }
 
         def discardForValueType(tpw: Type): Boolean = tpw match {