Skip to content

Backport "Add missing criterion to subtype check"#16948

Merged
Kordyjan merged 1 commit intoscala:release-3.3.0from
dotty-staging:backport-16889
Feb 17, 2023

Commits

Commits on Feb 17, 2023