Fix #13487: Unification check in deriving is incorrect#13489

Kordyjan merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:i13487dotty-staging/dotty:i13487Copy head branch name to clipboard