015 join before decl refused

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

Code

input.k

Actual compiler output

error[KORU161]: std/channel(inbox): the join precedes its channel's declaration in source — declare the channel first (rung-one ordering)
  --> tests/regression/600_STDLIB/699_CHANNEL/699_015_join_before_decl_refused/input.k:12: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 (Reading, source: id: u64)
flow ~std/channel click a branch to expand · @labels scroll to their anchor
std/channel (inbox)
flow ~new click a branch to expand · @labels scroll to their anchor
new (expr: inbox, capacity: 8, source: reading: Reading)

Test Configuration

MUST_ERROR