def proved

bolt@1.27.0.0 · src/lsp/checker/answer.bend:50

import Base
import bolt@1.27.0.0/src/lsp/report.bend as Rep

50# a LAWS.bend's errors, settled by its PROOF.bend's answer: none when that
51# checks clean, and no check at all when bend could not be run on it
52def proved(aa: Answer, ds: List<&2, Rep.Diag>) -> Answer:
53  match aa:
54    case Checked{pds}:
55      Checked{Bool.pick(List<&2, Rep.Diag>, List.is_empty(&2, Rep.Diag, pds), [], ds)}
56    case Unrun{}:
57      Unrun{}