130 nominal string mismatch

✓ Passing This code compiles and runs correctly.

Code

// TEST: MUST_FAIL - Nominal string types are distinct
//
// EmailAddress and UserName are both strings, but Koru should reject
// passing one where the other is expected.
//
// Expected: Compilation error - type mismatch

~import "$std/types"

~string(EmailAddress)
~string(UserName)

~event send_email { to: EmailAddress }
| sent {}

~proc send_email {
    return .{ .sent = .{} };
}

~event main {}
| done {}

~proc main {
    // ERROR: Passing UserName where EmailAddress is expected
    const name: UserName = "alice";
    ~send_email(to: name)
    | sent |> done {}
}

~main()
| done |> _

input.kz

Error Verification

Expected Error Pattern

MUST_FAIL

Actual Compiler Output

🎯 Compiler coordination: Passes: 13 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:26:24: error: use of undeclared identifier '__inline_flow_1'
                return __inline_flow_1(.{  });
                       ^~~~~~~~~~~~~~~

Test Configuration

MUST_FAIL

Expected Behavior:

CONTAINS type mismatch

← 123 instantiate nested generic 131 nominal int mismatch →