116 const field typeless entry refused

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

Code

// PINS: a `const { }` entry with no value — `b:` — is refused KORU176, not
// emitted as `const b = ;` for the Zig backend to reject. The caret lands on
// the line carrying the valueless entry.
import std/io

const {
    a: @as(i32, 5), b:
}

std/io:print.ln("unreachable")

input.k

Actual compiler output

error[KORU176]: field has no value — a field is `name: value`; `name:` dropped the value
  --> tests/regression/300_ADVANCED_FEATURES/320_STDLIB/320_116_const_field_typeless_entry_refused/input.k:7:0

Must fail at runtime with:

CONTAINS error[KORU176]
CONTAINS field has no value
ERROR_AT 7
NOT_CONTAINS output_emitted.zig

Flows

flow ~const click a branch to expand · @labels scroll to their anchor

const (source: a: @as(i32, 5), b:)

flow ~print.ln click a branch to expand · @labels scroll to their anchor

print.ln (expr: "unreachable")

Test Configuration

MUST_ERROR

← 115 const field nameless entry refused 117 const field duplicate name refused →