Traits

Methods for splitting up the projections for associated types from the surrounding context.