Trait ParamEnv

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

Required Methods

fn reveal(self) -> Reveal

fn caller_bounds(self) -> impl IntoIterator<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 reveal(self) -> Reveal

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

Implementors