103 watch arm names no column teaches

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

Code

input.k

Actual compiler output

error[KORU161]: std/store:watch(counter): 'clicks' names no column - a one-column store names none, so its watch arm is the store: `! counter <binding> |> ...`
  --> tests/regression/600_STDLIB/690_STORE/690_103_watch_arm_names_no_column_teaches/input.k:20:0

error[KORU161]: std/store:watch(counter): unknown store - no std/store:new(counter) found
  --> tests/regression/600_STDLIB/690_STORE/690_103_watch_arm_names_no_column_teaches/input.k:20:0

error[KORU161]: std/store:stored target 'counter' must be a dotted store path (store.field)
  --> tests/regression/600_STDLIB/690_STORE/690_103_watch_arm_names_no_column_teaches/input.k:23:0

error[KORU161]: std/store:stored target 'counter' must be a dotted store path (store.field)
  --> tests/regression/600_STDLIB/690_STORE/690_103_watch_arm_names_no_column_teaches/input.k:24:0

Must contain:

names no column

Flows

flow ~new click a branch to expand · @labels scroll to their anchor
new (counter, source: 0[i64])
flow ~watch click a branch to expand · @labels scroll to their anchor
watch (counter)
flow ~stored click a branch to expand · @labels scroll to their anchor
stored (source: counter: 3)
flow ~stored click a branch to expand · @labels scroll to their anchor
stored (source: counter: counter + 4)

Test Configuration

MUST_ERROR