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