invalid destructure of type has incorrect error location

[leecannon]

Zig Version

0.15.0-dev.769+4d7980645

Steps to Reproduce and Observed Behavior

pub fn main() void {
    const a, const b = struct { true, false };
    _ = a;
    _ = b;
}

$ zig build-exe main.zig
main.zig:1:5: error: expected type 'type', found 'bool'
pub fn main() void {
~~~~^~~~~~~~~~~~~~
referenced by:
    callMain [inlined]: /home/lee/.local/share/zigup/0.15.0-dev.769+4d7980645/files/lib/std/start.zig:666:22
    callMainWithArgs [inlined]: /home/lee/.local/share/zigup/0.15.0-dev.769+4d7980645/files/lib/std/start.zig:635:20
    posixCallMainAndExit: /home/lee/.local/share/zigup/0.15.0-dev.769+4d7980645/files/lib/std/start.zig:590:36
    2 reference(s) hidden; use '-freference-trace=5' to see all references

Expected Behavior

Error refers to line 2 of the file.

[xdBronch]

if you want to destructure here you need to use .{ true, false }, rather than struct { true, false }, the error location is certainly wrong though

[leecannon]

Ah yea, that's it doh.

Will leave open for incorrect error location.

[BeigeHornet151]

Zig Compiler Error Location for Invalid Destructure

Summary

In Zig 0.15.0-dev.769, attempting to destructure a non-tuple expression using const a, const b = struct { true, false }; produces an error at the wrong location. The compiler highlights the function definition rather than the actual faulty destructuring line.

Problematic Code

pub fn main() void {
    const a, const b = struct { true, false };
    _ = a;
    _ = b;
}

What I Can See

main.zig:1:5: error: expected type 'type', found 'bool'

The error message references the start of the function instead of the line where the destructure occurs.

Cause

• The expression struct { true, false } is invalid in this context because it's not a tuple.
• The compiler attempts to destructure it but misidentifies the source of the error.

Correct Syntax

To destructure values, a tuple literal must be used:

Fixed Code

pub fn main() void {
    const a, const b = .{ true, false };
    _ = a;
    _ = b;
}