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

Nobody has claimed this yet.

### 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_

Reproduce the type-checking issue with the provided A, a, and b snippet in the Visual Studio Code extension on Windows. Start by tracing operator type inference for operands in reversed order; done means 1 + a infers b as number instead of unknown.

Written by the indexing model from the issue text.