ruff

[ty] Add subdiagnostic hint if a variable with type `Never` is used in a type expression

#21660

Merged