058 reject issue on input

✓ Passing This code compiles and runs correctly.

Code

const Connection = struct { id: i32 };
~pub tor use-connection { conn: *Connection<connected!> }
~proc use-connection|zig {
}

input.kz

Cannot issue obligation