Match refined PolyFunction in findFunctionType

nicolasstucki · nicolasstucki · commit 73975dbf1117 · 2023-07-17T17:19:06.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1749,7 +1749,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
`@@ -1749,7 +1749,7 @@ object Types {`
`1749`	`1749`	`else NoType`
`1750`	`1750`	`case t if defn.isNonRefinedFunction(t) =>`
`1751`	`1751`	`t`
`1752`		`- case t @ defn.PolyOrErasedFunctionOf(_: MethodType) =>`
	`1752`	`+ case t @ defn.PolyOrErasedFunctionOf(_) =>`
`1753`	`1753`	`t`
`1754`	`1754`	`case t @ SAMType(_) =>`
`1755`	`1755`	`t`