Skip to content

Add missing criterion to subtype check#16889

Merged
Kordyjan merged 1 commit intoscala:mainfrom
dotty-staging:fix-16850
Feb 15, 2023

Commits

Commits on Feb 11, 2023