only try NamedType compatibility for ApplyingProto

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(tp, pt)
+      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 {
@@ -102,7 +104,7 @@ object ProtoTypes {
         def qualifies(m: SingleDenotation) =
           memberProto.isRef(defn.UnitClass) ||
             compat.normalizedCompatible(m.info, memberProto) ||
-            compat.normalizedCompatible(m.namedType, 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