I’m struggling to create the following structure. Say I have…
abstract type AbstractType{A,B,C} end
and…
abstract type AbstractSubType{A,B,C} <: AbstractType{A,B,C} end
I’d like to make…
struct ConcreteType{D, E<:AbstractSubType{A,B,C}} <: AbstractType{A,B,C}
field::E
end
Doing so produces A undefined
. I can’t seem to figure out how to specify where {A,B,C}
to produce the desired behavior (or if this is illegal somehow). Has anyone ran into this?