[ty] Remove now-unnecessary Divergent check#21935

sharkdp merged 1 commit intomainastral-sh/ruff:mainfrom

david/remove-divergent-checkastral-sh/ruff:david/remove-divergent-checkCopy head branch name to clipboard