Type Alias ra_ap_hir_ty::ConstrainedSubst

pub type ConstrainedSubst = ConstrainedSubst<Interner>;

Aliased Type

struct ConstrainedSubst {
    pub subst: Substitution<Interner>,
    pub constraints: Constraints<Interner>,
}

Fields

subst: Substitution<Interner>

The substitution that is being constrained.

NB: The is_trivial routine relies on the fact that subst is folded first.

constraints: Constraints<Interner>

Region constraints that constrain the substitution.