def renames

bend-lint-rules@0.2.0.0 · layout/case.bend:250

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

250# The fix that renames a local name to `to`, if recasing made one that fits.
251def renames(ok: Bool, at: Lint.Span, full: String, to: String) -> List<&2, Lint.Fix>:
252  match ok:
253    case True{}:
254      [Lint.Fix{"Rename to " ++ full, [Lint.Rename{at, to}]}]
255    case False{}:
256      []