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>
Object Safety§
This trait is not object safe.