Unsure about properties

[Benny]

@mkitti

struct SType
    S::Type{S}
end

This throws UndefVarError: S not defined, field annotations unknowns must be from the type definition’s where clause.