Trait BoundVarKinds 

pub trait BoundVarKinds<I>:
    Copy
    + Debug
    + Hash
    + Eq
    + SliceLike<Item = BoundVariableKind<I>>
    + Default
where
    I: Interner,
{
    // Required method
    fn from_vars(
        cx: I,
        iter: impl IntoIterator<Item = BoundVariableKind<I>>,
    ) -> Self;
}

Required Methods

fn from_vars( cx: I, iter: impl IntoIterator<Item = BoundVariableKind<I>>, ) -> Self

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.

Implementors

impl<'tcx> BoundVarKinds<TyCtxt<'tcx>> for &'tcx RawList<(), BoundVariableKind<'tcx>>