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