EagerBranch.why: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/eager_branch.bend as EagerBranch
Lines 83-96 of bend-lint-rules@0.2.0.0/performance/eager_branch.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/eager_branch.bend&start_line=83&end_line=96

import Base

def why(+kind: String, +callee: String) -> String:
  Bool.pick(
    String,
    String.eq(kind, "pick"),
    "Bool.pick computes both of its values before it picks one, so this call of "
      ++ callee
      ++ " runs even when the condition picks the other value",
    kind
      ++ " computes its right side even when its left side decides the result ("
      ++ Bool.pick(String, String.eq(kind, "&&"), "False", "True")
      ++ "), so this call of "
      ++ callee
      ++ " runs even then"
  )

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=Base/base.bend&name=String.eq