How to add type for io.open returned value?

[linrongbin16]

Hi,

I want to write code like this:

local f = io.open("somefile.txt", "r")
assert(f ~= nil, "error! failed to open file")
local text = f:read("*a")

But in the line-3, lua ls report:

Lua Diagnostics: Need check nil.

What type should I use to add @as annotation for f ?

I have tried --[[@as file]], but it seems not the correct annotation for io.file.

[carsakiller]

When I use your example, I do not receive any warnings and the types are as expected:

Try reloading your workspace, maybe it is just a glitch.

[linrongbin16]

OK, got it, I will try