Is it possible to make a global shader parameter that's a mutable non-array buffer?

[KaarelKurik]

This question was prompted by noticing that wgsl permits code of the form

@group(0) @binding(0)
var<storage, read_write> number: f32;

@compute @workgroup_size(1,1,1)
fn compute() {
    number += 1.0;
}

The nearest equivalent in Slang that I was able to figure out looks like

[[vk::binding(0, 0)]]
RWStructuredBuffer<float> number;

[shader("compute")] [numthreads(1, 1, 1)]
void compute() {
    number[0] += 1.0;
}

which requires indexing into the array introduced by RWStructuredBuffer.

Examining the spirv produced by naga (https://github.com/gfx-rs/naga) with debug symbols for the wgsl code, we get

      %float = OpTypeFloat 32
  %_struct_6 = OpTypeStruct %float
%_ptr_StorageBuffer__struct_6 = OpTypePointer StorageBuffer %_struct_6
     %number = OpVariable %_ptr_StorageBuffer__struct_6 StorageBuffer

which seems to be a little indirection through a struct (not sure why). By contrast, the spirv produced by slangc gives us

      %float = OpTypeFloat 32
[line omitted]
%_runtimearr_float = OpTypeRuntimeArray %float
%RWStructuredBuffer = OpTypeStruct %_runtimearr_float
%_ptr_StorageBuffer_RWStructuredBuffer = OpTypePointer StorageBuffer %RWStructuredBuffer
    [line omitted]
     %number = OpVariable %_ptr_StorageBuffer_RWStructuredBuffer StorageBuffer

which ends up being another layer of indirection through a runtime array.

Is there currently a way to get something closer to the wgsl model in Slang? If not, should there be a way?