Wrongly detects unreachable code

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Linux

What is the issue affecting?

Diagnostics/Syntax Checking, Hover

Expected Behaviour

Given the following code

local arr = {}

for k,v in pairs(arr) do
	if k == 1 then
		print("k == 1")
		error("hi", k, v)
	else
		error("hi", k, v)
	end
end

print("hello world")

print in the last line should not be marked as unreachable, since arr is empty and error is never called.

Actual Behaviour

print in the last line is marked as unreachable.

Reproduction steps

1. Open New Tab in VSCode
2. Paste code example from above
3. if not set automatically, change language to lua
4. see last line being greyed out

Additional Notes

No response

Log File

No response

Tái hiện chẩn đoán trong tiện ích mở rộng LuaLS Visual Studio Code bằng đoạn mã được cung cấp trên Linux, sau đó truy vết quá trình phân tích mã không thể tiếp cận đối với vòng lặp và câu lệnh print cuối cùng của nó. Hoàn tất khi câu lệnh print cuối cùng không còn bị đánh dấu là không thể tiếp cận khi vòng lặp lặp qua một bảng rỗng.