Assigning to comptime field through pointer with a different value doesn't yield a compile error

[tauoverpi]

Zig Version

0.14.0-dev.3020+c104e8644

Steps to Reproduce and Observed Behavior

The following hits the explicit @compileError and doesn't error on assignment.

comptime {
    var a = .{ .b = @as([3]u32, @splat(0)) };

    const p = &a.b;
    p[2] = 5;

    if (a.b[2] != 5) @compileError("hmm");
}

however:

test {
    var a = .{ .b = @as([3]u32, @splat(0)) };

    const p = &a.b;
    p[2] = 5;

    if (a.b[2] != 5) return error.Hmm;
}

gives:

anon.zig:5:10: error: value stored in comptime field does not match the default value of the field
    p[2] = 5;
    ~~~~~^~~

Expected Behavior

A compile error for assigning a non-default value to a comptime field at comptime.

[rohlem]

Note that when removing the @compileError, the first snippet passes (for me on 0.14.0-dev.2987+183bb8b08),
so it's not just about analysis/error ordering/priority, the compile error is fully absent
in a comptime block (as opposed to a runtime block like test { ... }):

comptime {
    var a = .{ .b = @as([3]u32, @splat(0)) };
    const p = &a.b;
    p[2] = 5;
}