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