096 reject bare path name mismatch

✓ Passing This code compiles and runs correctly.

Code

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Error Verification

Actual Compiler Output

error[PARSE006]: bare argument 'box.other' does not name a parameter of 'echo' — an explicit label is required
  --> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_096_reject_bare_path_name_mismatch/input.kz:34:0
    |
 34 | | got box |> echo(box.other)
    | ^
  hint: write it with an explicit label: 'v: box.other'

Flows

flow ~get-box click a branch to expand · @labels scroll to their anchor
get-box

Test Configuration

MUST_FAIL