When checking tp1 <:< tycon2[args2], widen tp1 to reveal application#12846

abgruszecki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-i11499dotty-staging/dotty:fix-i11499Copy head branch name to clipboard