Answer.errors: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/answer.bend as Answer
Lines 12-18 of bolt@1.27.0.0/src/lsp/checker/answer.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&start_line=12&end_line=18

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

# an answer's diagnostics: none when bend could not be run
def errors(aa: Answer) -> List<&2, Rep.Diag>:
  match aa:
    case Checked{ds}:
      ds
    case Unrun{}:
      []

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag