007 foreign field comma refused

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

Code

input.k

Actual compiler output

error[KORU173]: std/foreign:struct(File): field line 'path,' carries a ',' — fields separate on lines, not commas
  --> tests/regression/600_STDLIB/667_FOREIGN/667_007_foreign_field_comma_refused/input.k:5:1

Must contain:

error[KORU173]

Flows

flow ~struct click a branch to expand · @labels scroll to their anchor
struct (expr: File, source: path, handle)

Test Configuration

MUST_ERROR