Fix #9166: Harden check for values in patterns based on class inheritance info#11784

smarter merged 2 commits intoscala:masterscala/scala3:masterfrom

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