Missing validation when casting an argument

Environment

Name	Version
IDEA version	2021
Luanalysis version	1.3.0
OS	macOS 11.5

What are the steps to reproduce this issue?

---@shape shapeA
---@field fieldA string

local variableA = "A"
local function receiveAny(_any)
    
end
receiveAny(--[[---@type number]] "")
receiveAny(--[[---@type number]] {})
receiveAny(--[[---@type number]] variableA)
receiveAny(--[[---@type shapeA]] variableA)

What happens?

None of the arguments in the receiveAny executions are validated, everything is accepted.

What were you expecting to happen?

All of the receiveAny executions should fail.

[pouwelsjochem]

Thanks! I was aware of the .def.lua files indeed, used them to map out the parts of the Solar2D engine I use ^^ However I’m not a fan of adding game-specific shapes to that definition file, hence I’m more in favour of writing a wrapper 😃

[Benjamin-Dobell]

Assuming the external library doesn’t already have types, you can provide your own types for the library. Here’s an example for Tabletop Simulator:

https://github.com/Benjamin-Dobell/tts-types/tree/master/tts

Those .def.lua files provide Lua definitions for functions/tables/userdata which are (mostly) implemented in C#. However, the same process ought to work for regular Lua libraries. Basically anywhere in your IntelliJ project you can provide a <module name>.def.lua file that provides types. The only thing special about the .def.lua extension is that irrelevant inspections are disabled.