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.

Error output must contain

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