In the same way we introduced non_disjoint_intersection to optimize compatibility, we introduce empty_difference to optimize subtyping.
In the same way we introduced non_disjoint_intersection to optimize compatibility, we introduce empty_difference to optimize subtyping.