Let’s define struct A{U,V} end and observe some equalities on data using Test @test A == A{U,V} where {U,V} @test Type{A} == Type{A{U,V} where {U,V}} @test A === A{U,V} where {U,V} @test Type{A} === Type{A{U,V} where {U,V}} they are mapped to equalities on functions with those data instance ar…

UnionAll wrapper not eq anymore to free UnionAll when Type lifted - is it a bug or not?

jling January 6, 2022, 7:35am 4

floating as oppose to “fixed”

Topic		Replies	Views
Method that acts on union types, what is wrong? New to Julia	8	749	October 26, 2020
Equality of unwrapped unionalls General Usage	3	89	May 5, 2025
Weirdness of `Type{Union{A,B}} where {B<:SuperB}` General Usage question , type , parametric-types	8	114	June 26, 2025
Notice: a subtle footgun: UnionAll type variable order + method static parameter normalization General Usage type , parametric-types , parametric-methods , wat , footgun	2	266	January 31, 2025
How to dispatch on a union of parametric types with partial Type-instruction? New to Julia	1	1076	February 19, 2018