Fix an incorrect stub return type for `PushRuleEvaluator.run`.