282 unnarrowed private leaf refused

⚠ Broken The test itself needs fixing.

Sibling-field union (`player: Player, enemy: Enemy` in the store seed) is not the store surface. The signed declaration was `entity: Player | Enemy`. These pins must not stay green in stdlib.

Failure Output

error[KORU161]: std/store:query(arena): 'e.score' is player-only — narrow the guard (`when e is player`) first
  --> tests/regression/600_STDLIB/690_STORE/690_282_unnarrowed_private_leaf_refused/input.k:24:0

Code

input.k

Actual compiler output

error[KORU161]: std/store:query(arena): 'e.score' is player-only — narrow the guard (`when e is player`) first
  --> tests/regression/600_STDLIB/690_STORE/690_282_unnarrowed_private_leaf_refused/input.k:24:0

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

flow ~f64 click a branch to expand · @labels scroll to their anchor
f64 (expr: Health)
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Player, source: health: Health score: i64)
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Enemy, source: health: Health damage: i64)
flow ~new click a branch to expand · @labels scroll to their anchor
new (arena, capacity: 8, source: player: Player, enemy: Enemy)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (arena, kind: player, source: health: 98.6, score: 3)
flow ~query click a branch to expand · @labels scroll to their anchor
query (arena)

Test Configuration

MUST_ERROR