pub trait ApplyChecker: TyCtx { // Required method fn apply(&mut self, sig: Sig<'_>, arguments: &Interned<ArgsTy>, pol: bool); }