018 proto fused field line default door

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

Code

// PINS: same law at the default door — `hp: f32 heal: string` fuses a second
// field onto `hp`'s line, and the refusal names the fused fragment.
import std/proto

std/proto(Fused) {
    hp: f32 heal: string
}

input.k

Actual compiler output

error[KORU173]: std/proto(Fused): 'heal: string' began a new field on the same line — proto fields are one `name: type` per line
  --> tests/regression/600_STDLIB/665_PROTO/665_018_proto_fused_field_line_default_door/input.k:5: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 (Fused, source: hp: f32 heal: string)

Test Configuration

MUST_ERROR

← 017 proto fused field line 019 proto parent field bound twice →