Trait rustc_infer::infer::canonical::ir::inherent::BoundVarLike

pub trait BoundVarLike<I>
where
    I: Interner,
{
    // Required method
    fn var(self) -> BoundVar;
}

Required Methods

fn var(self) -> BoundVar

Implementations on Foreign Types

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

fn var(self) -> BoundVar

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

fn var(self) -> BoundVar

Implementors

impl<I> BoundVarLike<I> for BoundVar

where I: Interner,