Thunk.cite: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/thunk.bend as Thunk
Lines 72-75 of bolt@1.27.0.0/src/rules/suspicious/thunk.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/thunk.bend&start_line=72&end_line=75

import Base
import bolt@1.27.0.0/src/finding.bend as F

# the finding at the self-call's name
def cite(+ll: U32, +cc: U32, +name: String, +path: String) -> F.Finding:
  F.Finding{path, ll, cc, U32.from_nat(String.length(name)), "thunk",
    name ++ " calls itself inside a thunk, which allocates a closure and leaves the loop on every step; carry the test as a Bool into the next call (`go(rest, k, test(h))`) and match on it first, so the search stays a loop."}

Uses (6):
  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.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding