Match refined PolyFunction in findFunctionType

nicolasstucki · Kordyjan · commit 846b3d9aa2c9 · 2023-12-01T13:01:31.000+01:00
[Cherry-picked 73975db]
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1739,7 +1739,7 @@ object Types {
         else NoType
       case t if defn.isNonRefinedFunction(t) =>
         t
-      case t @ defn.PolyOrErasedFunctionOf(_: MethodType) =>
+      case t @ defn.PolyOrErasedFunctionOf(_) =>
         t
       case t @ SAMType(_, _) =>
         t

Original file line number	Diff line number	Diff line change
`@@ -1739,7 +1739,7 @@ object Types {`
`1739`	`1739`	`else NoType`
`1740`	`1740`	`case t if defn.isNonRefinedFunction(t) =>`
`1741`	`1741`	`t`
`1742`		`- case t @ defn.PolyOrErasedFunctionOf(_: MethodType) =>`
	`1742`	`+ case t @ defn.PolyOrErasedFunctionOf(_) =>`
`1743`	`1743`	`t`
`1744`	`1744`	`case t @ SAMType(_, _) =>`
`1745`	`1745`	`t`