Trait IfaceChecker

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

Source

fn check( &mut self, iface: Iface<'_>, ctx: &mut IfaceCheckContext, pol: bool, ) -> Option<()>

Checks the interface of the given type.

Implementors§

Source§

impl<T> IfaceChecker for SelectKeyChecker<'_, T>
where T: SelectChecker,

A checker to check the select of a type.