Analysis: Key not found

[bojankerec]

I have a following code that give me an error
"TypeError: Key 'message' not found in table 'err'"

function fillMessage(err)
    err.message = "message"
end
local err = {}
fillMessage(err)
print(err.message)

Is this behavior intentional (analyzer cannot properly detect function content since fillMessage can change during runtime)? Use case should be similar to table.insert.

[zeux]

This requires effect analysis that we don't have: the type checker doesn't know that fillMessage adds the key to the table, so the call to fillMessage here doesn't change the type of err.