pub type Rest<List> = <List as NonEmpty>::Rest;
Expand description
Type-level ‘function’ to return the first element of a TList
Only implemented for non-empty TLists.
use tlist::*;
use typenum::consts::{U1, U2, U3};
use static_assertions::assert_type_eq_all as assert_type_eq;
assert_type_eq!(Rest<TList![U1, U2, U3]>, TList![U2, U3]);
assert_type_eq!(Rest<TList![i8, usize, i32, u64]>, TList![usize, i32, u64]);