type_vec::impls

Trait Push

Source 
pub trait Push<__TYP_ARG_0>
where
    __TYP_ARG_0:,
{
    type Output;
}

Required Associated Types§

Source

type Output

Implementations on Foreign Types§

Source§

impl<__TYP_GENERIC_0, __TYP_GENERIC_1> Push<Vect<__TYP_GENERIC_0, __TYP_GENERIC_1>> for ()
where __TYP_GENERIC_0:, <() as IncreaseOne<__TYP_GENERIC_1>>::Output: Size, Vect<__TYP_GENERIC_0, __TYP_GENERIC_1>:, (): IncreaseOne<__TYP_GENERIC_1>, __TYP_GENERIC_1: Size,

Source§

type Output = Vect<__TYP_GENERIC_0, <() as IncreaseOne<__TYP_GENERIC_1>>::Output>

Implementors§