[red-knot] type[T] is disjoint from type[S] if the metaclass of T is disjoint from the metaclass of S

[red-knot] type[T] is disjoint from type[S] if the metaclass of T is disjoint from the metaclass of S #39001