hir_ty::next_solver::predicate

Type Alias NormalizesTo

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

Aliased Type§

pub struct NormalizesTo<'db> {
    pub alias: AliasTerm<DbInterner<'db>>,
    pub term: Term<'db>,
}

Fields§

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