def Pairing.close
bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:646
import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
import Base
646def Pairing.close(begin: Maybe<&2, Directive>, end: Directive, p: Pairing) -> Pairing:
647 match begin end p:
648 case Some{
649 Directive{a, s, r, sev, c, i}
650 } Directive{ea, es, er, esev, Comment{b, e, +line, t, body}, ei} Pairing{open, closed, wrong}:
651 Pairing.closing(
652 Severity.is_eq(sev, esev),
653 i,
654 line,
655 er,
656 Comment{b, e, line, t, body},
657 Pairing{open, closed, wrong}
658 )
659 case None{} Directive{ea, es, er, esev, ec, ei} Pairing{open, closed, wrong}:
660 Pairing{open, closed, Wrong{ec, "This end closes no begin of " ++ er ++ "."} <> wrong}