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 inference for map and broadcast differs on empty vectors General Usage	3	304	April 11, 2023
Type-unstable application of `map` Performance	4	342	August 13, 2023
Why doesn't `vect` return a union-typed result if the number of elements is small? Internals & Design performance , inference , type	3	613	September 13, 2022
Limits of type inference General Usage question	6	1258	April 23, 2019
Improve type inference in iterating over `Eigen` Performance type-stability	5	205	April 27, 2023