ruff

[red-knot] Minor cleanup to `Type::is_disjoint_from()` and `Type::is_subtype_of()`

#15260

Merged