056 disposal diagnostic names surface spelling

✓ Passing Passing: the compiler rejects this program as expected.

Code

input.k

Actual compiler output

error[KORU030]: Resource 'content' carries obligation <allocated!> was not discharged. Call: std/io:free
  --> tests/regression/300_ADVANCED_FEATURES/335_OBLIGATION_STRESS/335_056_disposal_diagnostic_names_surface_spelling/input.k:16:1

Must contain:

KORU030

Flows

flow ~read-file click a branch to expand · @labels scroll to their anchor
read-file (path: "data.txt")

Test Configuration

MUST_ERROR

Compiler Flags:

--auto-discharge=disable