195 owned column insert from projection

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

Code

input.k

Actual compiler output

error[KORU161]: std/store:insert(b): column 'name' is owned - its value must be an instance the caller gives up (single ownership, 690_053); a row projection is a borrow the source store still owns, and accepting it would put one pointer under two teardowns. Take or build a fresh instance for this row instead.
  --> tests/regression/600_STDLIB/690_STORE/690_195_owned_column_insert_from_projection/input.k:24:0

Must contain:

std/store:insert

Flows

flow ~new click a branch to expand · @labels scroll to their anchor
new (a, capacity: 2, source: name: *std/string:String<instance!>)
flow ~new click a branch to expand · @labels scroll to their anchor
new (b, capacity: 2, source: name: *std/string:String<instance!>)
flow ~from-page click a branch to expand · @labels scroll to their anchor
from-page (text: "x")
flow ~query click a branch to expand · @labels scroll to their anchor
query (a)
flow ~query click a branch to expand · @labels scroll to their anchor
query (b)

Test Configuration

MUST_ERROR LANGUAGES: zig cs