171 rings phantom element refused

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

Code

input.k

Actual compiler output

error[KORU161]: std/rings:new(feed): a ring carries plain values — 'Src<live!>' is a borrow, array, or phantom-typed element, and none of those have a slot shape this rung
  --> tests/regression/300_ADVANCED_FEATURES/320_STDLIB/320_171_rings_phantom_element_refused/input.k:13:0

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Src, source: id: i64)
flow ~new click a branch to expand · @labels scroll to their anchor
new (feed, capacity: 8, source: value: Src<live!>)

Test Configuration

MUST_ERROR