096 reject bare path name mismatch

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

Code

input.kz

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:31:0
    |
 31 | ~get-box(): box |> echo(box.other)
    | ^
  hint: write it with an explicit label: 'v: box.other'

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected patterns

Each line is a regex that must match the compiler error output.

error\[
box.other

Flows

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

Test Configuration

MUST_ERROR