Just started using these annotations and they're life-changing! Thank you so much @balpha @willco would it be possible to have them directly in the SDK, so that they would be immediately accessible to everyone using it? Rather than having to dig into the forum to find this post If @balpha is ok with it of course!
We've talked about adding these directly to the SDK but aren't quite ready to commit more resources to VS Code. We do realize it's a popular editor but we are a very small team.
The annotations aren't just for VS code! The Lua language server is a standard used by many editors. It would be really great to have proper annotations.