hir_ty::next_solver::predicate

Type Alias ExistentialTraitRef

Source 
pub type ExistentialTraitRef<'db> = ExistentialTraitRef<DbInterner<'db>>;

Aliased Type§

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

Fields§

§def_id: SolverDefId§args: GenericArgs<'db>