in the traits section, the pub trait TraitExample<E> : TraitExample2<E> { } syntax is not documented