More precise type for typed patterns, less precise for literal patterns#8710

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:typed-patternsdotty-staging/dotty:typed-patternsCopy head branch name to clipboard