Struct Cons 

pub struct Cons<Head, Tail>(/* private fields */);

A non-empty scope: Head joined with nullability tracked in TableSlot, followed by the rest of the scope in Tail. Most recently joined table first, which is the order a hand-written Scope alias has to be spelled in.

Known limitation: a table appears at most once, and uniqueness is by marker type, not by SQL name. Joining one marker twice is reported later, as an inference ambiguity the first time a column of it is referenced; two different markers that share a Table::NAME are not caught at all and render FROM "t" JOIN "t". Two schemas must not name the same table.

Trait Implementations

impl<C: ColumnKey, Tail, Scope, Idx> ColumnList<Scope, Idx> for Cons<Column<C>, Tail>

where Column<C>: RowField<Scope, Idx>, Tail: ColumnList<Scope, Idx>,

type Fields<T> = RowCons<C, <Column<C> as RowField<Scope, Idx>>::Value, <Tail as ColumnList<Scope, Idx>>::Fields<T>>

fn push_items(out: &mut Vec<SelectItem>)

impl<Head, Tail: Concat<Other>, Other> Concat<Other> for Cons<Head, Tail>

type Output = Cons<Head, <Tail as Concat<Other>>::Output>

impl<T: Table, N: Nullability, Tail> Find<T, Here> for Cons<TableSlot<T, N>, Tail>

type Nullability = N

The nullability T has in this scope (derived from how it was joined, not asserted manually).

impl<T: Table, Head, Tail, I> Find<T, There<I>> for Cons<Head, Tail>

where Tail: Find<T, I>,

type Nullability = <Tail as Find<T, I>>::Nullability

The nullability T has in this scope (derived from how it was joined, not asserted manually).

impl<T: Table, N: Nullability, Tail: MapNullable> MapNullable for Cons<TableSlot<T, N>, Tail>

type Output = Cons<TableSlot<T, MaybeNull>, <Tail as MapNullable>::Output>

impl<T: Table, N: Nullability, Tail: ScopeTables> ScopeTables for Cons<TableSlot<T, N>, Tail>

type Tables = Cons<T, <Tail as ScopeTables>::Tables>