Simplify merging in lub/glb, avoid unnecessary constraints#9053

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:merge-constraintdotty-staging/dotty:merge-constraintCopy head branch name to clipboard