Case.renames: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/layout/case.bend as Case
Lines 250-256 of bend-lint-rules@0.2.0.0/layout/case.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/layout/case.bend&start_line=250&end_line=256

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Fix
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Operation
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Span