ProtoTypes#normalizedCompatible: keep more constraints#12924

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-i12126dotty-staging/dotty:fix-i12126Copy head branch name to clipboard