found pattern

Author: iusildra

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

@@ -1502,8 +1502,10 @@ trait Applications extends Compatibility {
     }
 
   private def onMethod(tp: Type, followApply: Boolean)(p: TermRef => Boolean)(using Context): Boolean = tp match {
+    case expr: TermRef if expr.widenSingleton.isInstanceOf[ExprType] =>
+      tp.member(nme.apply).hasAltWith(d => p(TermRef(tp, nme.apply, d)))
     case methRef: TermRef if methRef.widenSingleton.isInstanceOf[MethodicType] =>
-      p(methRef) || tp.member(nme.apply).hasAltWith(d => p(TermRef(tp, nme.apply, d)))
+      p(methRef)
     case mt: MethodicType =>
       p(mt.narrow)
     case _ =>