def Pairing.closing
bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:632
import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
import Base
632def Pairing.closing(
633 same: Bool,
634 +index: U32,
635 line: U32,
636 rule: String,
637 comment: Comment,
638 p: Pairing
639) -> Pairing:
640 match same p:
641 case True{} Pairing{open, closed, wrong}:
642 Pairing{Open.without(open, index), Closed{index, line} <> closed, wrong}
643 case False{} Pairing{open, closed, wrong}:
644 Pairing{open, closed, Wrong{comment, "This end closes no begin of " ++ rule ++ "."} <> wrong}