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