Incorrect RunService type errors

[ArchLand64]

I am getting incorrect type errors for the following code:

game:GetService("RunService").Stepped:Connect(function(currTime, deltaTime)
	local e1 = currTime + 1
	local e2 = deltaTime + 1
end)

This problem affects the other RunService events and also happens in Roblox Studio.

[JohnnyMorganz]

This is related to #83 (comment)

For the diagnostics type checker, game is typed as any, so this leads to deltaTime being typed as any, so it doesn't know the correct type annotation

[JohnnyMorganz]

Closing as there are no solution for now