cleaned up

Author: iusildra

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

@@ -1926,12 +1926,11 @@ trait Applications extends Compatibility {
     else resolve(alts)
   end resolveOverloaded
 
-  def isApplicableTerm(argTypes: List[Type], resultType: Type, argMatch: ArgMatch = ArgMatch.CompatibleCAP)(using Context) : TermRef => Boolean = {
-    case expr: TermRef if expr.widenSingleton.isInstanceOf[ExprType | AppliedType] =>
+  def isApplicableTerm(argTypes: List[Type], resultType: Type, argMatch: ArgMatch = ArgMatch.CompatibleCAP)(using Context) : TermRef => Boolean = expr => expr.widen match
+    case _: ExprType | _: AppliedType =>
       isApplicableType(expr, argTypes, resultType)
-    case alt =>
-      isApplicableMethodRef(alt, argTypes, resultType, argMatch)
-  }
+    case _ =>
+      isApplicableMethodRef(expr, argTypes, resultType, argMatch)
 
   /** This private version of `resolveOverloaded` does the bulk of the work of
    *  overloading resolution, but does neither result adaptation nor apply insertion.