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§
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.