More robust comparison of type constructors in provablyDisjoint#11435

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

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