ordinal: drop unchecked with sealed abstract skips#13414

dwijnand wants to merge 4 commits intoscala:masterscala/scala3:masterfrom

dwijnand:check-ordinal-matchdwijnand/scala3:check-ordinal-matchCopy head branch name to clipboard