julia

47301e24 - fix #20476, subtyping bug in `Union{Type{x},Type{y}}`

fix #20476, subtyping bug in `Union{Type{x},Type{y}}` widening such unions should be done only when determining typevar values, not during the algorithm proper.