Handle dependent function refinements in findFunctionType

nicolasstucki · nicolasstucki · commit 163cdf5b3b18 · 2023-07-18T15:11:19.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1747,9 +1747,7 @@ object Types {
         if !tf1.exists then tf2
         else if !tf2.exists then tf1
         else NoType
-      case t if defn.isNonRefinedFunction(t) =>
-        t
-      case t @ defn.PolyOrErasedFunctionOf(_) =>
+      case t if defn.isFunctionType(t) =>
         t
       case t @ SAMType(_) =>
         t

Original file line number	Diff line number	Diff line change
`@@ -1747,9 +1747,7 @@ object Types {`
`1747`	`1747`	`if !tf1.exists then tf2`
`1748`	`1748`	`else if !tf2.exists then tf1`
`1749`	`1749`	`else NoType`
`1750`		`- case t if defn.isNonRefinedFunction(t) =>`
`1751`		`- t`
`1752`		`- case t @ defn.PolyOrErasedFunctionOf(_) =>`
	`1750`	`+ case t if defn.isFunctionType(t) =>`
`1753`	`1751`	`t`
`1754`	`1752`	`case t @ SAMType(_) =>`
`1755`	`1753`	`t`