Fix #5422: prefer type tp1 in Typ(tp1) - Prod(tp2, ...)#5425

abgruszecki merged 1 commit intoscala:masterscala/scala3:masterfrom

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