190 reject named single outcome

✓ 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:

bare return instead: `-> { status: i32, body: string }`