Skip to content

Fix variance checking in refinements#18053

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

Commits

Commits on Jun 24, 2023