pub trait Seven<T1, T2, T3, T4, T5, T6, T7>: Six<T1, T2, T3, T4, T5, T6> + Contains<T7> { }
A set containing 7 types.
This should not be implemented manually.
For easy usage, see the macro Set.
Set