fn mk_sub_rules( overflow_mode: OverflowMode, ) -> fn(&[(BaseTy, Expr); N]) -> Option<MatchedRule>
a - b