pub trait ProdRuleEnumerateExt { // Required method fn enumerate(&self, _: &'static Executor) -> Result<(), ()>; }