SuperfluousInfer: "superfluous-infer" = 'superfluous-infer'