Attempt to fix a potentially missing case in TypeComparer#5914

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:missing-frozen-constraint-casedotty-staging/dotty:missing-frozen-constraint-caseCopy head branch name to clipboard