133 instantiation param mismatch

? Unknown Status unknown.

Code

// TEST: MUST_FAIL - Wrong number of type parameters in instantiation
//
// Pair<A, B> requires two type params, but only one is provided.
// Koru should reject this at compile time.
//
// Expected: Compilation error - wrong number of type parameters

~import "$std/types"

~struct(Pair<A, B>) { first: A, second: B }

// ERROR: Pair needs 2 type params, only 1 provided
~type(BadPair = Pair<i32>)

~event main {}

~proc main|zig {
}

~main()

input.kz

Must contain:

type parameter

Error Verification

Expected Error Pattern

MUST_FAIL

Actual Compiler Output

🎯 Compiler coordination: Passes: 13 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:14:29: error: use of undeclared identifier 'B'
        first: i32, second: B
                            ^

Test Configuration

MUST_FAIL

← 132 generic type mismatch 140 type with const →