Properly encode splice hole using PolyFunction#17072

nicolasstucki wants to merge 5 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:splice-hole-polyfunctiondotty-staging/dotty:splice-hole-polyfunctionCopy head branch name to clipboard