Type Alias chalk_solve::rust_ir::QuantifiedInlineBound

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

Aliased Type

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>>

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

fn fmt(&self, s: &InternalWriterState<'_, I>, f: &mut Formatter<'_>) -> Result

fn display<'a>( &'a self, s: &'a InternalWriterState<'a, I>, ) -> DisplayRenderAsRust<'a, I, Self>

where Self: Sized,