Skip to content

Fix variance checking in refinements#18053

Merged
odersky merged 1 commit intoscala:mainfrom
dotty-staging:fix-18035
Jul 3, 2023

Commits

Commits on Jun 24, 2023