def check.place_shut
bolt@1.27.0.0 · src/rules/style/wrap.bend:852
import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
import Base
import bolt@1.27.0.0/src/finding.bend as F
852
853
854def check.place_shut(
855 mm: Maybe<&2, Span>,
856 loose: Maybe<&2, Span>,
857 +base: U32,
858 +path: String,
859 +more: List<&2, F.Finding>
860) -> List<&2, F.Finding>:
861 match mm:
862 case None{}:
863 check.place_loose(loose, base, path, more)
864 case Some{Span{+line, _end, +col}}:
865 F.Finding{path, (base + line : U32), col, 0, "wrap",
866 "The `)` shares a line with the last parameter; put `)` and the return type on a line of their own."}
867 <> more