Fix #11118: check irrefutable pattern def in 3.0#11131

liufengyun wants to merge 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-i11118dotty-staging/dotty:fix-i11118Copy head branch name to clipboard