How to enforce the fields to be inherited?

[mauro3]

GitHub - gcalderone/ReusePatterns.jl: Implement composition and concrete...

Why is it impossible to subtype a struct?

Is there a deeper reason, why the following does not work? I guess a struct can only be a leaf in the type hierarchy. Is there a reason why this has to be like this? julia> struct TypeA{T} data::T end julia> struct TypeB{T} <: TypeA{T} data::T end ERROR: invalid subtyping in definition of TypeB Edit, I found the follwing in the Manual: One particularly distinctive feature of Julia’s type system is that concrete types may not subtype each other: all co…