Trait rustc_middle::ty::BoundVars

pub trait BoundVars<I>
where
    I: Interner,
{
    // Required methods
    fn bound_vars(&self) -> <I as Interner>::BoundVars;
    fn has_no_bound_vars(&self) -> bool;
}

Required Methods

fn bound_vars(&self) -> <I as Interner>::BoundVars

fn has_no_bound_vars(&self) -> bool

Implementors

impl<'tcx, T> BoundVars<TyCtxt<'tcx>> for Binder<'tcx, T>