Make polymorphic functions more efficient and expressive#17548

Merged

smarter merged 8 commits intoscala:mainfrom

dotty-staging:poly-closure2

Jun 21, 2023

Commits on Jun 21, 2023

Fix pretty-printing of renamed lambda params
smarter
committed
Drop vestigial support for parameterless contextual functions
smarter
committed
Support inferring dependent polymorphic lambdas from the expected type
smarter
committed
Implement polymorphic lambdas using Closure nodes for efficiency
smarter
committed
Use the same compilation flags in non-bootstrapped and bootstrapped builds
smarter
committed
Polymorphic closures cannot have dependencies between value params
smarter
committed
Fix meaning of `this` in a polymorphic function type
smarter
committed
Fix incorrect "self reference in refinement is deprecated" warning
smarter
committed