Unknown global cannot be identified when using type and typeof

[ProBaturay]

Not sure if this is intended or not, but the linter will not be able to detect the unknownGlobal or unknownGlobal2 variables without being declared both in strict and non-strict mode. This only applies when they are used in conditions using the "==" and "~=" operators.

local t : boolean = type(unknownGlobal) == "nil"
local t2 : boolean = typeof(unknownGlobal2) ~= "nil"

However, localizing the functions at the beginning of the script or typecasting the parameter with any type will resolve the issue.

local type = type
local t : boolean = type(unknownGlobal) == "nil" -- Unknown global 'unknownGlobal'
local t2 : boolean = typeof(unknownGlobal2 :: unknown) ~= "nil" -- Unknown global 'unknownGlobal2'

[vegorov-rbx]

This wasn't intended, I'm going to work on a fix.