Skip splice level checking for <refinement> symbols#22782

hamzaremmal merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-i22648dotty-staging/dotty:fix-i22648Copy head branch name to clipboard