Remove dead code in Checking#19678

hamzaremmal merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:remove-dead-code-in-Checkingdotty-staging/dotty:remove-dead-code-in-CheckingCopy head branch name to clipboard