Fix #3352: defaults parameters require named type in compatibility check

Author: liufengyun

compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala

@@ -41,7 +41,9 @@ object ProtoTypes {
     /** Test compatibility after normalization in a fresh typerstate. */
     def normalizedCompatible(tp: Type, pt: Type)(implicit ctx: Context) = ctx.typerState.test {
       val normTp = normalize(tp, pt)
-      isCompatible(normTp, pt) || pt.isRef(defn.UnitClass) && normTp.isParameterless
+      isCompatible(normTp, pt) ||
+        pt.isRef(defn.UnitClass) && normTp.isParameterless ||
+        pt.isInstanceOf[ApplyingProto] && isCompatible(tp, pt)  // check i3352
     }
 
     private def disregardProto(pt: Type)(implicit ctx: Context): Boolean = pt.dealias match {
@@ -101,7 +103,8 @@ object ProtoTypes {
         val mbr = if (privateOK) tp1.member(name) else tp1.nonPrivateMember(name)
         def qualifies(m: SingleDenotation) =
           memberProto.isRef(defn.UnitClass) ||
-          compat.normalizedCompatible(m.info, memberProto)
+            compat.normalizedCompatible(m.info, memberProto) ||
+            memberProto.isInstanceOf[ApplyingProto] && compat.normalizedCompatible(m.namedType, memberProto) // check i3352
         mbr match { // hasAltWith inlined for performance
           case mbr: SingleDenotation => mbr.exists && qualifies(mbr)
           case _ => mbr hasAltWith qualifies

tests/pos/i3352.scala

@@ -0,0 +1,13 @@
+class Test {
+  class Foo {
+    def bar(x: String): Int = 1
+  }
+
+  implicit class FooOps(foo: Foo) {
+    def bar(x: Int, y: Int = 2): Int = 2 // compiles with no default argument
+  }
+
+  def test(foo: Foo): Unit = {
+    foo.bar(1)
+  }
+}