MissedFork.Run.add: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/missed_fork.bend as MissedFork
Lines 380-396 of bend-lint-rules@0.2.0.0/performance/missed_fork.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&start_line=380&end_line=396

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

# The run after a let (`bound`, if it is one): the let joins it if its call uses no binder of the run; else the run
# ends, and the let starts the next.
def Run.add(bound: Maybe<&2, Bound>, owner: Owner, run: Run) -> Run:
  match bound run:
    case Some{Bound{+f, +w, +b, +c}} Run{+bounds, +binders, +out}:
      Bool.pick(
        Run,
        uses([c], binders, False{}),
        Run{
          [Bound{f, w, b, c}],
          [b],
          Lists.onto(&2, Lint.Finding, Run.finding(bounds, owner), out)
        },
        Run{Bound{f, w, b, c} <> bounds, b <> binders, out}
      )
    case None{} Run{bounds, binders, out}:
      Run{[], [], Lists.onto(&2, Lint.Finding, Run.finding(bounds, owner), out)}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=onto
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=Bound
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=Run.finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/missed_fork.bend&name=uses