ruff

e871de4e - [ty] Make `Divergent` a top-level type variant (#24252)

[ty] Make `Divergent` a top-level type variant (#24252) ## Summary This PR follows https://github.com/astral-sh/ruff/pull/24245#discussion_r3002222558, making `Divergent` a top-level type rather than a `DynamicType` variant.