Trait Find 

pub trait Find<T: Table, Index>: FoundAt<T, Index> {
    type Nullability: Nullability;
}

Proof that table T appears somewhere in a scope list, found at compile-time-inferred position Index. Index is never spelled out by callers — it’s inferred, exactly like frunk’s Plucker — and it’s what keeps the two impls below structurally distinct rather than overlapping.

Required Associated Types

type Nullability: Nullability

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

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

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

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

type Nullability = N