Type Alias hir_ty::QuantifiedWhereClause

source · 
pub type QuantifiedWhereClause = Binders<WhereClause>;

Aliased Type§

struct QuantifiedWhereClause {
    pub binders: VariableKinds<Interner>,
    /* private fields */
}

Fields§

§binders: VariableKinds<Interner>

The binders that quantify over the value.