hir_ty::next_solver::predicate

Type Alias ExistentialProjection

Source 
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>