Type Alias QuantifiedInlineBound 

pub type QuantifiedInlineBound<I: Interner> = Binders<InlineBound<I>>;

Aliased Type

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

Fields

binders: VariableKinds<I>

The binders that quantify over the value.

Trait Implementations

impl<I: Interner> IntoWhereClauses<I> for QuantifiedInlineBound<I>

type Output = Binders<WhereClause<I>>

fn into_where_clauses( &self, interner: I, self_ty: Ty<I>, ) -> Vec<QuantifiedWhereClause<I>>