julia> struct A end julia> struct B end julia> struct C{AA,BB} a :: AA b :: BB end julia> v = Union{C{A,B}, C{B,B}}[C(A(), B()), C(B(),B())] 2-element Vector{Union{C{A, B}, C{B, B}}}: C{A, B}(A(), B()) C{B, B}(B(), B()) julia> map(identity, v) 2-element Vector{C{AA, B} w…

Map over vector with union eltype makes type-inference worse

Benny April 12, 2023, 2:15am 3

OP knows this, but related thread.

Topic		Replies	Views
Type-unstable application of `map` Performance	4	325	August 13, 2023
Type instability of empty `Array` with elemental types parameterized by `UnionAll` General Usage type-stability	1	64	July 30, 2024
Union troubles General Usage	7	369	May 12, 2020
Understanding Types Union{} New to Julia question , type , union	3	747	September 2, 2023
Why doesn't `vect` return a union-typed result if the number of elements is small? Internals & Design performance , inference , type	3	609	September 13, 2022