Needs a "don't use truthy types in a conditional/boolean context" diagnostic

Chưa có ai nhận issue này.

### How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

### Which OS are you using?

Windows

### What is the issue affecting?

Type Checking, Diagnostics/Syntax Checking

### Expected Behaviour

When variable `a` has a truthy type (e.g. any type that does not contain `boolean` or `nil`), then the following lines should all give warnings, since (assuming the type annotations are correct and `Weak Nil Check` is off) `a` cannot be `nil` or `false`, and thus can never resolve to `false` in a boolean context, and so the operations are pointless:
```lua
if a then print("1") end -- will always print 1
if not a then print("2") end -- will never print 2
local b = a or "3" -- equivalent to b = a
local c = a and "4" or "5" -- equivalent to c = "4"
```

### Actual Behaviour

None of those lines warn you about anything under the current diagnostics

### Reproduction steps

1. Type the following into a lua file:
```lua
---@param a number (or string, table, etc.)
function A(a)
if a then print("1") end
if not a then print("2") end
local b = a or "3"
local c = a and "4" or "5"
end
```
2. Observe the lack of diagnostic warnings on each line inside the function

(I would also like a "no-unparameterized-tables" diagnostic where plain `table` without any <> does not count as a valid type)

Bắt đầu bằng cách tái hiện đoạn mã Lua được cung cấp trong một tệp Lua thông qua tiện ích mở rộng Visual Studio Code, sau đó lần theo các điểm đầu vào của quá trình kiểm tra kiểu và chẩn đoán xử lý các điều kiện và biểu thức boolean. Công việc được xem là hoàn tất khi các trường hợp được yêu cầu tạo ra các cảnh báo phù hợp; phạm vi của yêu cầu riêng no-unparameterized-tables cũng cần được quyết định.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.