Parametric supertyping using struct field parameters

General Usage
2 
struct Bar{T, F <: AbstractFoo{T}} <: AbstractFoo{T} 
    foo::F
end

Should work

1 Like