[SPIR-V] vk::BufferPointer<T, Alignment>: stores ignore Alignment #9055

[[vk::binding(0,0)]] RWStructuredBuffer<uint32_t> buf;

struct PushData { uint64_t addr; };
[[vk::push_constant]] PushData pc;

[numthreads(64,1,1)]
void main(uint32_t gi : SV_GroupIndex)
{
    vk::BufferPointer<uint32_t, 16> p = vk::BufferPointer<uint32_t, 16>(pc.addr);
    uint32_t v = p.Get();      // OpLoad ... Aligned 16
    p.Get() = v + 1u;          // OpStore ... Aligned 4  (expected 16)
    buf[gi] = v;
}