025 part tag underscore rejected

✓ Passing This code compiles and runs correctly.

Code

input.k

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected patterns

Each line is a regex that must match the program output.

error\[KORU034\]:.*part tag.*'a_b'