shirovian

Support type inference via IsA

2

`foo:IsA("Part")` proves that foo is a Part but this code produces this error instead: ```lua local foo = workspace:FindFirstChild("Foo") if foo and foo:IsA("Part") then print(foo.Position) -- Roblox LSP Type Checking:...