Backport "Add missing criterion to subtype check"#16948

Kordyjan merged 1 commit intoscala:release-3.3.0scala/scala3:release-3.3.0from

dotty-staging:backport-16889dotty-staging/dotty:backport-16889Copy head branch name to clipboard