[red knot] add Type::is_disjoint_from
and intersection simplifications
#34170
Loading
Type::is_disjoint_from
and intersection simplifications
#34170