Getting parent's parametric types parameter

[cedeerwe]

@Raf

The keyword function is run in a different scope, so It doesn’t “see” the T. You need to use a specific type in the default value, on the right hand side of the =.

True. Do you have any idea how to do this? This approach

julia> Base.@kwdef struct SomeFoo{T<:Integer} <: AbstractFoo{T}
         field::Vector{T} = []
       end

julia> sf = SomeFoo()
ERROR: MethodError: no method matching SomeFoo(::Array{Any,1})

fails and the other possibility of

julia> Base.@kwdef struct OtherFoo{T<:Integer} <: AbstractFoo{T}
         field::Vector{T} = Integer[]
       end

julia> of = OtherFoo()
OtherFoo{Integer}(Integer[])

is again using the Integer inside the fields, which did not help.

@Raf

To get around that, define a constructor with default value as a kw arg.

Can you give me an example? I feel like this does not solve the duplicite Integer issue, rather only pushes the problem to the constructor, but maybe I am wrong.