Trait SelectChecker

pub trait SelectChecker: TyCtx {
    // Required method
    fn select(&mut self, sig: Iface<'_>, key: &Interned<str>, pol: bool);
}

A trait to check the select of a type.

Required Methods

fn select(&mut self, sig: Iface<'_>, key: &Interned<str>, pol: bool)

Checks the select of the given type.

Implementors