Skip to content

Refine criterion when to widen types#17180

Merged
dwijnand merged 6 commits intoscala:mainfrom
dotty-staging:fix-17149
Jun 6, 2023

Commits

Commits on May 24, 2023