Trait ParamEnv

pub trait ParamEnv<I>:
    Copy
    + Debug
    + Hash
    + Eq
    + TypeFoldable<I>
where
    I: Interner,
{
    // Required method
    fn caller_bounds(self) -> impl SliceLike<Item = <I as Interner>::Clause>;
}

Required Methods

fn caller_bounds(self) -> impl SliceLike<Item = <I as Interner>::Clause>

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> ParamEnv<TyCtxt<'tcx>> for ParamEnv<'tcx>

fn caller_bounds(self) -> impl SliceLike<Item = Clause<'tcx>>

Implementors