rustc_trait_selection::infer::canonical::ir::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)

Implementations on Foreign Types§

source§

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

source§

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

Implementors§

source§

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