Backport "Replace `is{Poly|Erased}FunctionType` with `{PolyOrErased,Poly,Erased}FunctionOf`" to LTS#19120

Merged

Kordyjan merged 3 commits intorelease-3.3.2from

Dec 8, 2023

Commits on Dec 1, 2023

Replace `is{Poly|Erased}FunctionType` with `{Poly|Erased}FunctionOf`
Kordyjan
committed
Match refined PolyFunction in findFunctionType

nicolasstucki
authored and
Kordyjan
committed
Handle dependent function refinements in findFunctionType

nicolasstucki
authored and
Kordyjan
committed