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>,
    pub(crate) value: InlineBound<I>,
}

Fields

binders: VariableKinds<I>

The binders that quantify over the value.

value: InlineBound<I>

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,