pub trait IfaceChecker: TyCtx {
// Required method
fn check(
&mut self,
iface: Iface<'_>,
ctx: &mut IfaceCheckContext,
pol: bool,
) -> Option<()>;
}
Expand description
A trait to check the interface of a type.
Required Methods§
Implementors§
impl<T> IfaceChecker for SelectKeyChecker<'_, T>where
T: SelectChecker,
A checker to check the select of a type.