Merge pull request #6923 from dotty-staging/i6816

Fix #6816: Deny methods with implicit members from tpd.applyOverloaded

Author: odersky

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -1147,6 +1147,10 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
         var allAlts = denot.alternatives
           .map(denot => TermRef(receiver.tpe, denot.symbol))
           .filter(tr => typeParamCount(tr) == targs.length)
+          .filter { _.widen match {
+            case MethodTpe(_, _, x: MethodType) => !x.isImplicitMethod
+            case _ => true
+          }}
         if (targs.isEmpty) allAlts = allAlts.filterNot(_.widen.isInstanceOf[PolyType])
         val alternatives = ctx.typer.resolveOverloaded(allAlts, proto)
         assert(alternatives.size == 1,

tests/run/i6816.scala

@@ -0,0 +1,14 @@
+trait Bar
+trait Foo {
+  def ==(that: Foo)(implicit b: Bar): Boolean = ???
+}
+
+case class FooCC(f: Foo)
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val foo1, foo2 = new Foo {}
+    assert(FooCC(foo1) == FooCC(foo1))
+    assert(FooCC(foo1) != FooCC(foo2))
+  }
+}