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 を unknown ではなく number として推論すれば完了です。

索引モデルが issue の本文から書いたものです。