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

iusildra · web-flow · commit d1ed1c585f3f · 2023-08-10T17:01:55.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -1956,9 +1956,11 @@ trait Applications extends Compatibility {
     }
 
     def narrowByTypes(alts: List[TermRef], argTypes: List[Type], resultType: Type): List[TermRef] =
-      alts.filterConserve { alt =>
-        isApplicableMethodRef(alt, argTypes, resultType, ArgMatch.CompatibleCAP)
-        || isApplicableType(alt, argTypes, resultType)
+      alts.filterConserve {
+        case expr: TermRef if expr.widenSingleton.isInstanceOf[ExprType] =>
+          isApplicableType(expr, argTypes, resultType)
+        case alt =>
+          isApplicableMethodRef(alt, argTypes, resultType, ArgMatch.CompatibleCAP)
       }
 
     /** Normalization steps before checking arguments:

Original file line number	Diff line number	Diff line change
`@@ -1956,9 +1956,11 @@ trait Applications extends Compatibility {`
`1956`	`1956`	`}`
`1957`	`1957`
`1958`	`1958`	`def narrowByTypes(alts: List[TermRef], argTypes: List[Type], resultType: Type): List[TermRef] =`
`1959`		`- alts.filterConserve { alt =>`
`1960`		`- isApplicableMethodRef(alt, argTypes, resultType, ArgMatch.CompatibleCAP)`
`1961`		`- \|\| isApplicableType(alt, argTypes, resultType)`
	`1959`	`+ alts.filterConserve {`
	`1960`	`+ case expr: TermRef if expr.widenSingleton.isInstanceOf[ExprType] =>`
	`1961`	`+ isApplicableType(expr, argTypes, resultType)`
	`1962`	`+ case alt =>`
	`1963`	`+ isApplicableMethodRef(alt, argTypes, resultType, ArgMatch.CompatibleCAP)`
`1962`	`1964`	`}`
`1963`	`1965`
`1964`	`1966`	`/** Normalization steps before checking arguments:`