Subtype: fix `obviously_disjoint` for Union Types#49177

Merged

KristofferC merged 1 commit intoJuliaLang:masterfrom

N5N3:Subtype-fix

Mar 30, 2023

Commits on Mar 29, 2023

fix `obviously_disjoint` for Union Types
N5N3
committed