Better comparisons for type projections#17092

odersky merged 3 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-17064dotty-staging/dotty:fix-17064Copy head branch name to clipboard