operator 对于左右两边类型不一样的情况下只能支持定义该 operator 的类型在左边，在右边会推到不了类型

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

Expected Behaviour

---@class A
---@operator add(number): number
local a

local b = 1 + a
此处 b 应该推到为 number， 但是实际为 unknown

Actual Behaviour

实际为 unknown

Reproduction steps

1. Go to '...'
2. Click '...'
3. See error '...'

Additional Notes

No response

Log File

No response

在 Windows 上的 Visual Studio Code 擴充功能中，使用提供的 A、a 和 b 片段重現型別檢查問題。首先追蹤運算元順序反轉時的運算子型別推論；當 1 + a 將 b 推論為 number 而不是 unknown 時即表示完成。