the code in function can't run

[KeilAwk]

the code in function can't run well:

function Get(type)
    return type
end
a = Get(_G)  ---can't get `_G`

b = {first=1}
function Set(name)
    rawset(b,name,"test")
end
Set("test") ---can't find `test` in `b`

i've tried running the above code on other devices and can't achieve the desired results, have used the latest v3.7.4

[carsakiller]

For the first case, we can use generics to return the correct type:

---@generic T
---@param type T
---@return T
function Get(type)
    return type
end
a = Get(_G)

For the second case, that kind of mutation can't really be annotated at the function, so we would have to @cast:

---@param name string
function Set(name)
    rawset(b,name,"test")
end

Set("test")
---@cast b {first: 1, name: string}

[KeilAwk]

thanks a lot ,it may be enough
but my ultimate goal is to inject a class into _G though a using a function, so @cast isn't very useful.
i think there aren't any to do it now.
so will the annotation at the function add to lang-server in the future?
like give some api to addons developer to do it more easily?
thank you again!

[carsakiller]

It may be possible for rawset() to receive special handling in order to support mutating variables, but I imagine keeping track of the state of that in a function is difficult. You could create an issue for that specific use case.