ruff

789cdcff - [ty] Early return in `Type::has_relation_to_impl` for `Type` variants that are always mutually disjoint