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
Limits of type inference General Usage question	6	1278	April 23, 2019
Type inference for map and broadcast differs on empty vectors General Usage	3	313	April 11, 2023
Inference for tuple of callable objects General Usage question	5	656	August 14, 2017
Specializing a Unionall General Usage	4	871	September 29, 2018
Why Union{} <: Tuple? General Usage question	4	793	September 18, 2017