Search for type tests when matching abstract applied type#13453

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

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