hir_ty::next_solver::predicate

Type Alias ProjectionPredicate

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

Aliased Type§

pub struct ProjectionPredicate<'db> {
    pub projection_term: AliasTerm<DbInterner<'db>>,
    pub term: Term<'db>,
}

Fields§

§projection_term: AliasTerm<DbInterner<'db>>§term: Term<'db>