Handle dependent function refinements in findFunctionType

nicolasstucki · Kordyjan · commit 72d4f8ad2524 · 2023-12-01T13:01:31.000+01:00
[Cherry-picked 163cdf5]
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1737,9 +1737,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
`@@ -1737,9 +1737,7 @@ object Types {`
`1737`	`1737`	`if !tf1.exists then tf2`
`1738`	`1738`	`else if !tf2.exists then tf1`
`1739`	`1739`	`else NoType`
`1740`		`- case t if defn.isNonRefinedFunction(t) =>`
`1741`		`- t`
`1742`		`- case t @ defn.PolyOrErasedFunctionOf(_) =>`
	`1740`	`+ case t if defn.isFunctionType(t) =>`
`1743`	`1741`	`t`
`1744`	`1742`	`case t @ SAMType(_, _) =>`
`1745`	`1743`	`t`