Type Reconstruction Question

[mauro3]

I think this is the same as was just asked:

Tricky parametric type dispatch

I would like to dispatch a method like this, where T gets the type <: AbstractParticles and the type parameters end up in F and NT. function Base.union(p1::T{F,NT},p2::S{F,NS}) where T <: AbstractParticles where S <: AbstractParticles{F,NS} where F where NT where NS T{F,NT+NS}([p1.particles; p2.particles]) end This does not work and an error TypeError: in Type{...} expression, expected UnionAll, got TypeVar occurs. The following definition is accepted, but it makes T include the type par…