149 reject single field bare return record

✓ Passing This code compiles and runs correctly.

Code

input.k

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Test Configuration

Expected Error:

single field