What is wrong with my subtyping?


#1
julia> abstract type Code{T<:Tuple} end

julia> abstract type Data{T<:Code} <: Code end
ERROR: invalid subtyping in definition of Data

Thanks


#2

Code isn’t a type you can subtype from. Code{Tuple{}} or something like Code{T} would be. All the type parameters in the parent type must be specified.