Tighten Ycheck of type ascriptions#12513

abgruszecki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:refactor-typeddotty-staging/dotty:refactor-typedCopy head branch name to clipboard