def judge.one

bend-lint-pack@0.1.1.0 · graph/fan_out.bend:22

import Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import bend-lint-pack@0.1.1.0/common.bend as Common

22def judge.one(+d: U32, +max: U32, +owner: String, span: Maybe<&2, Lint.Span>) -> List<&2, Lint.Diag>:
23  Common.when(
24    U32.is_gt(d, max),
25    Common.diag(Lint.Warning{}, message(owner, d, max), span)
26  )