Plan.unread: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan
Lines 358-366 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=358&end_line=366

import Base
import bolt@1.27.0.0/src/finding.bend as F

# one finding for each source that could not be read
def unread(gs: List<&2, Got>) -> List<&2, F.Finding>:
  match gs:
    case Nil{}:
      Nil{}
    case Con{Got{+path, None{}}, rest}:
      F.Finding{path, 0, 0, 0, "read", "Cannot read this file."} <> unread(rest)
    case Con{Got{_path, Some{_text}}, rest}:
      unread(rest)

Uses (4):
  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=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=Got