Missing parameter name after comptime arg asserts

[Hejsil]

pub fn a(comptime T: type, T) void {}

test "" {
    a(u8, 2);
}

zig/src/analyze.cpp:3448: VariableTableEntry* add_variable(CodeGen*, AstNode*, Scope*, Buf*, bool, ConstExprValue*, Tld*): Assertion `name' failed.
[1]    21470 abort (core dumped)  zig test test.zig

[Hejsil]

Related:
It seems that only generic functions have parameters available right after they have been analyzed, while normal functions do not allow this. Is this intended?

// error: use of undeclared identifier 'b'
pub fn a(b: u8, c: @typeOf(b)) void {}

test "" {
    a(2, 2);
}

// Works, even though b is not generic
pub fn a(comptime Q: type, b: u8, c: @typeOf(b)) void {}

test "" {
    a(u8, 2, 2);
}

[andrewrk]

Is this intended?

Yes, that is intended. (However, the assertion is not intended, of course.)

It could be made to work. Is there some compelling reason you would want to use @typeOf instead of repeating the type?

[Hejsil]

@andrewrk I don't really have a usecase other than consistency, but I don't think it matters to much. Was just making sure that was how it should work.

[andrewrk]

fixed in fd575fe