Context Bounds for Polymorphic Functions#21643

Merged

WojciechMazur merged 19 commits intoscala:mainfrom dotty-staging:context-bounds-for-poly-functions

Nov 19, 2024

+274-68

Commits on Nov 14, 2024

Implement basic version of desugaring context bounds for poly functions
KacperFKorban
committed
Handle named context bounds in poly function context bound desugaring
KacperFKorban
committed
Correctly-ish desugar poly function context bounds in function types
KacperFKorban
committed
Fix pickling issue
KacperFKorban
committed
Hide context bounds expansion for poly functions under modularity feature
KacperFKorban
committed
Small cleanup
KacperFKorban
committed
Add more test cases
KacperFKorban
committed
Change the implementation of context bound expansion for poly functions to reuse some of the existing context bound expansion
KacperFKorban
committed
Add support for some type aliases, when expanding context bounds for poly functions
KacperFKorban
committed
Make the expandion of context bounds for poly types slightly more elegant
KacperFKorban
committed
Add more aliases tests for context bounds with poly functions
KacperFKorban
committed
Bring back the restriction for requiring value parameters in poly function type definitions
KacperFKorban
committed
Cleanup dead code
KacperFKorban
committed
Reuse addEvidenceParams logic, but no aliases
KacperFKorban
committed
Cleanup context bounds for poly functions implementation, make the implementation consistent with addEvidenceParams
KacperFKorban
committed
More cleanup of poly context bound desugaring
KacperFKorban
committed
Short circuit adding evidence params to poly functions, when there are no context bounds
KacperFKorban
committed

Commits on Nov 15, 2024

Add a run test for poly context bounds; cleanup typer changes
KacperFKorban
committed

Commits on Nov 18, 2024

Cleanup context bounds for poly functions implementation after review
KacperFKorban
committed