029 duplicate proto refused

✓ Passing This code compiles and runs correctly.

Code

input.k

Output must match:

MUST_ERROR
CONTAINS duplicate proto declaration
CONTAINS collides with the prior registration

Flows

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