Consider GADT upper bounds when upcasting the scrutinee type#15351
Merged
dwijnand merged 2 commits intoscala:mainfrom Jun 7, 2022
Merged
Consider GADT upper bounds when upcasting the scrutinee type#15351dwijnand merged 2 commits intoscala:mainfrom
dwijnand merged 2 commits intoscala:mainfrom
Commits
Commits on Jun 1, 2022
- authored andcommitted
