pub trait Tys<I>:
Copy
+ Debug
+ Hash
+ Eq
+ SliceLike<Item = <I as Interner>::Ty>
+ TypeFoldable<I>
+ Defaultwhere
I: Interner<Tys = Self>,{
// Required methods
fn inputs(self) -> <I as Interner>::FnInputTys;
fn output(self) -> <I as Interner>::Ty;
}
Required Methods§
Object Safety§
This trait is not object safe.