004 reject write on view

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

Code

// PIN (enforcement): append demands <instance>; calling it on a <view!>
// is a phantom state mismatch. Write access requires taking ownership.
~import std/string

~std/string:from-page(text: "hello")
| ok s |> std/string:append(s, text: " world")
    | ok |> std/string:free(s)
    | err _ |> std/string:free(s)
| err _ |> _

input.kz

Actual compiler output

error[KORU030]: Phantom state mismatch: expected 'std.string:instance' but got 'std.string:view!' for argument 's'
  --> tests/regression/600_STDLIB/610_STRING/610_004_reject_write_on_view/input.kz:6:0

❌ Compiler coordination error: Phantom semantic validation failed
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Must contain:

Phantom state mismatch

Flows

flow ~from-page click a branch to expand · @labels scroll to their anchor

from-page (text: "hello")

Test Configuration

MUST_ERROR

← 003 auto free unused string 005 reject use after free →