Directives.Unmet.add: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
Lines 870-906 of bend-lint-rules@0.2.0.0/lib/linter/directives.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&start_line=870&end_line=906

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

def Unmet.add(
  used: Bool,
  action: Action,
  rule: String,
  pinned: Maybe<&2, Lint.Severity>,
  span: Lint.Span,
  out: List<&2, Lint.Found>
) -> List<&2, Lint.Found>:
  match used action:
    case True{} _:
      out
    case False{} Expect{}:
      Lint.Found{
        "bend-lint/unmet-expectation",
        Lint.Finding{
          Lint.Error{},
          span,
          "Expected a "
            ++ rule
            ++ "@"
            ++ Severity.pinned(pinned)
            ++ " finding on the lines this covers; none.",
          []
        }
      }
        <> out
    case False{} Disable{}:
      Lint.Found{
        "bend-lint/unused-disable",
        Lint.Finding{
          Lint.Warning{},
          span,
          "This disables " ++ rule ++ ", but nothing on the lines it covers needs it.",
          []
        }
      }
        <> out

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Severity
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Action
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Severity.pinned