ruff

[red-knot] Small simplifications to `Type::is_subtype_of` and `Type::is_disjoint_from`

#15622

Merged