Type Alias ExistentialProjection 

pub type ExistentialProjection<'db> = ExistentialProjection<DbInterner<'db>>;

Aliased Type

pub struct ExistentialProjection<'db> {
    pub def_id: SolverDefId,
    pub args: GenericArgs<'db>,
    pub term: Term<'db>,
    /* private fields */
}

Fields

def_id: SolverDefId

args: GenericArgs<'db>

term: Term<'db>