Allow contextual functions with erased parameters to be integrated#17313

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

natsukagami:fix-17147natsukagami/dotty:fix-17147Copy head branch name to clipboard