Fix #7808: Weaken an assertion in Typer#7836

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

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