015 proto field bound twice

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

Code

input.k

Actual compiler output

error[KORU173]: std/types/proto(Dup): field 'rpm' is bound twice — a proto entry takes each field name once
  --> tests/regression/600_STDLIB/665_PROTO/665_015_proto_field_bound_twice/input.k:8:0

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

flow ~proto click a branch to expand · @labels scroll to their anchor
proto (expr: Dup, source: rpm: i32 rpm: i32)
flow ~new click a branch to expand · @labels scroll to their anchor
new (Dup)

Test Configuration

MUST_ERROR