032 numeric field name

✓ Passing This code compiles and runs correctly.

Code

// Test: Field name starting with a number
// Parser rejects field names that start with digits

~tor foo { 123: i32 }

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: field name cannot start with a digit
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_032_numeric_field_name/input.kz:4:1
    |
  4 | ~tor foo { 123: i32 }
    | ^

← 031 missing comma between fields 033 empty type after colon →