Zero-Runtime-Cost Mixed List in Rust

Well, either that, or just another way to learn associated types. Type system in Rust is interesting. Pushing adds a new element to a list. Let’s say we define such trait Push: trait Push<X> { type Next; fn push(self, other: X) -> Self::Next; } Let’s go over this quickly. The trait Push is generic over the type X. The X type will be provided at the location where the trait Push is used. The type N