VSCode linter not able to reason about the 1.7 destructuring syntax properly

[MrVPlusOne]

A minimal example to demonstrate this:

For the following code

struct TestStruct
    a
    b
end

struct TestWrapper
    s::TestStruct
end

# linter generates "missing references" for s.b
function test(wrapper::TestWrapper)
    (; s) = wrapper
    s.b
end

# but works fine if not using the destructuring syntax
function test_2(wrapper::TestWrapper)
    s = wrapper.s
    s.b
end

The linter has the following behavior:

[HugoMelchers]

Just replying to this issue to say that I'm running into this as well right now. Based on the suggestions that the language server is providing, it thinks that the type of s is TestWrapper instead of TestStruct.

The warnings at s.b doesn't show up here for some reason, but in more complicated code I do get equivalent warnings.