Trait BoundVarLike

pub trait BoundVarLike<I>:
    Copy
    + Debug
    + Hash
    + Eq
where
    I: Interner,
{
    // Required methods
    fn var(self) -> BoundVar;
    fn assert_eq(self, var: <I as Interner>::BoundVarKind);
}

Required Methods

fn var(self) -> BoundVar

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

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

fn var(self) -> BoundVar

fn assert_eq(self, var: BoundVariableKind)

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

fn var(self) -> BoundVar

fn assert_eq(self, var: BoundVariableKind)

Implementors

impl<I> BoundVarLike<I> for BoundVar

where I: Interner,