[][src]Trait type_vec::size::SizeAdd

pub trait SizeAdd<__TYP_ARG_0, __TYP_ARG_1> where
    __TYP_ARG_0: Size,
    __TYP_ARG_1: Size,
    Self::Output: Size
{ type Output; }

Associated Types

type Output

Loading content...

Implementations on Foreign Types

impl<__TYP_GENERIC_0, __TYP_GENERIC_1> SizeAdd<__TYP_GENERIC_0, __TYP_GENERIC_1> for () where
    <() as IsDyn<__TYP_GENERIC_0>>::Output: BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>,
    __TYP_GENERIC_1: Size,
    <<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output: IsEqual<B1>,
    <() as __TYP_If_0<__TYP_GENERIC_0, __TYP_GENERIC_1, <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output>>::Output: Size,
    __TYP_GENERIC_0: Size,
    <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output: Bit,
    (): __TYP_If_0<__TYP_GENERIC_0, __TYP_GENERIC_1, <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output> + IsDyn<__TYP_GENERIC_0> + IsDyn<__TYP_GENERIC_1>, 
[src]

type Output = <() as __TYP_If_0<__TYP_GENERIC_0, __TYP_GENERIC_1, <<<() as IsDyn<__TYP_GENERIC_0>>::Output as BitOr<<() as IsDyn<__TYP_GENERIC_1>>::Output>>::Output as IsEqual<B1>>::Output>>::Output

Loading content...

Implementors

Loading content...