Pointer syntax issue

[Ipotrick]

I encountered this error message:

SLANG [test] D:/repos/Daxa/tests/3_samples/1_mandelbrot/shaders/compute.slang(99): error 30027: 'x' is not a member of 'Ref<Tester>'.
    *push.ptr0 = (*push.ptr1).x;
                              ^

For this minimal repro:

struct Tester
{
  float x;
};

struct Push
{
    float* ptr0;
    Tester* ptr1;
};

[[vk::push_constant]] Push push;
[shader("compute")]
[numthreads(1, 1, 1)]
void main(uint3 dtid : SV_DispatchThreadID)
{
    *push.ptr0 = (*push.ptr1).x;
}

Config:

pc platform: x86-64msvc windows11
slang::TargetDesc::format: SlangCompileTarget::SLANG_SPIRV
slang::TargetDesc::profile: GLSL_460
slang::TargetDesc::flags: SLANG_TARGET_FLAG_GENERATE_SPIRV_DIRECTLY
slang::SessionDesc::defaultMatrixLayoutMode: SLANG_MATRIX_LAYOUT_COLUMN_MAJOR

I would expect this syntax to work reading this example from the user guide:

int test(MyType* pObj)
{
    MyType* pNext = pObj + 1;
    MyType* pNext = &pNext[1];
    return pNext.a + (*pNext).a + pNext[0].a;
}