Trait rustc_middle::ty::inherent::BoundVarLike

source ·
pub trait BoundVarLike<I>
where I: Interner,
{ // Required methods fn var(self) -> BoundVar; fn assert_eq(self, var: <I as Interner>::BoundVarKind); }

Required Methods§

source

fn var(self) -> BoundVar

source

fn assert_eq(self, var: <I as Interner>::BoundVarKind)

Implementors§

source§

impl<'tcx> BoundVarLike<TyCtxt<'tcx>> for BoundRegion

source§

impl<'tcx> BoundVarLike<TyCtxt<'tcx>> for BoundTy

source§

impl<I> BoundVarLike<I> for BoundVar
where I: Interner,