Trait ListContains 

pub trait ListContains<T, Witness> { }

The Cons list Self contains the type T.

Used for column lists (GROUP BY keys, INSERT target columns), where the elements are compared by type rather than by scope key. Witness is a proof type the compiler infers (ScopeHere / ScopeThere).

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<Head, Tail, T, Witness> ListContains<T, ScopeThere<Witness>> for Cons<Head, Tail>

where Tail: ListContains<T, Witness>,

impl<Head, Tail> ListContains<Head, ScopeHere> for Cons<Head, Tail>