Skip to main content

Push

Trait Push 

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

Required Associated Types§

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

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:, Vect<__TYP_GENERIC_0, __TYP_GENERIC_1>:, (): IncreaseOne<__TYP_GENERIC_1>, __TYP_GENERIC_1: Size, <() as IncreaseOne<__TYP_GENERIC_1>>::Output: Size,

Source§

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

Implementors§