Fix #9735: Tighten opaque types check#9938

odersky merged 3 commits intoscala:masterscala/scala3:masterfrom

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