Skip to content

Space: Use RHS of & when refining subtypes#16573

Merged
dwijnand merged 1 commit intoscala:mainfrom
dwijnand:intersection-both
Dec 22, 2022

Commits

Commits on Dec 22, 2022