Fix #2253: avoid match exception in case of refinement types#2257

liufengyun merged 2 commits intoscala:masterscala/scala3:masterfrom

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