rustc_middle::ty::inherent

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