Skip to content

Add missing criterion to subtype check#16889

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

Commits

Commits on Feb 11, 2023