060 reject state mismatch on input

✗ Failing This test is currently failing.

Failed: frontend

Failure Output

error[PARSE003]: single continuation branch 'ok' carrying a payload is a one-variant tag union — declare the single output as a bare return instead: `-> <type>`
  --> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_060_reject_state_mismatch_on_input/input.kz:5:1
    |
  5 | ~pub tor get-raw-connection {}
    | ^

Code

const Connection = struct { id: i32 };
~pub tor query { conn: *Connection<connected>, sql: string }
~proc query|zig {
}
~pub tor get-raw-connection {}
| ok c |> query(conn: c, sql: "SELECT 1")

input.kz

Must fail at runtime:

Program must error when executed.

← 059 reject consume on output 061 inline obligation cascade →