Wrap.check.place_empty: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
Lines 869-884 of bolt@1.27.0.0/src/rules/style/wrap.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&start_line=869&end_line=884

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

# an empty parameter list across lines, as a finding, else a misplaced `)`
def check.place_empty(
  mm: Maybe<&2, Span>,
  shut: Maybe<&2, Span>,
  loose: Maybe<&2, Span>,
  +base: U32,
  +path: String,
  +more: List<&2, F.Finding>
) -> List<&2, F.Finding>:
  match mm:
    case None{}:
      check.place_shut(shut, loose, base, path, more)
    case Some{Span{+line, _end, +col}}:
      F.Finding{path, (base + line : U32), col, 0, "wrap",
        "This def header has no parameters but spans several lines; put it on one line."}
        <> more

Uses (8):
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check.place_shut