Overload with mismatched types fails on self-assign

[CodeGreen0386]

Minimal reproduction:

---@class Vector
---@operator div(number): Vector

---@return Vector
local function vector() return {} end

---@return number
local function number() return 1 end

local v = vector()

local position = vector()
position = position / number()

v = position

Should get a "Cannot assign number to Vector. " error on v.

[Prommah]

I think the problem is actually just an issue with operators in general. Edit: Nope, seems I'm completely wrong and these are unrelated. Sorry. Leaving the rest of the comment here since it's still an issue I observed when looking into this.

Here's an example straight from the operator docs which I've trimmed down:

---@class Vector
---@field x number
---@field y number
---@operator add(Vector): Vector
local Vector = {}

function Vector.new(x, y)
    return setmetatable({x = x or 0, y = y or 0}, {
        __index = Vector,
        __add = Vector.__add
    })
end

function Vector:__add(other)
    return Vector.new(self.x + other.x, self.y + other.y)
end

local v1 = Vector.new(1, 2)
local v2 = Vector.new(3, 4)

local v3 = v1 + v2
local test = v3.x

At the end, v3 is incorrectly number and accessing v3.x gives Undefined field `x`.