Trait ParamEnv 

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

Required Methods

fn caller_bounds( self, ) -> CallerBoundsAccessor<I, impl Iterator<Item = <I as Interner>::Clause>, NoClauses>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'tcx> ParamEnv<TyCtxt<'tcx>> for ParamEnv<'tcx>

fn caller_bounds( self, ) -> CallerBoundsAccessor<TyCtxt<'tcx>, impl Iterator<Item = Clause<'tcx>>, NoClauses>

Implementors