⚠
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
// A private leaf is unreadable until the guard names a kind that owns it.
// Unnarrowed `e.score` on a Player/Enemy store refuses — the column exists
// (every row has a slot) but only player rows hold a score.
import std/io
import std/proto
import std/store
std/proto:f64(Health)
std/proto(Player) {
health: Health
score: i64
}
std/proto(Enemy) {
health: Health
damage: i64
}
std/store:new(arena, capacity: 8) { player: Player, enemy: Enemy }
std/store:insert(arena, kind: player) { health: 98.6, score: 3 }
std/store:query(arena)
! query e |> std/io:print.ln("score {{ e.score:d }}")
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:0Compiler 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