Nessuno ha ancora preso questa issue.

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

`test.lua` - No error.
```lua
---@class Position
---@field x number
---@field y number
---@field z number
Position = {}

---@class Creature
---@field teleportTo fun(self:Creature, position:Position):nil
Creature = {}

---@class Zone
---@field getName fun(self:Zone):string
---@overload fun(): Zone
Zone = {}

---@class Event
---@field onCreatureEnter fun(self:Zone, creature:Creature):nil
---@field onCreatureLeave fun(self:Zone, creature:Creature):nil
---@field register fun(self:Event):nil
---@overload fun(): Event
Event = {}

local zone = Zone()

local zoneEvent = Event()

function zoneEvent:onCreatureEnter(creature)
if self:getName() == zone:getName() then
creature:teleportTo(Position(0, 0, 0))
end
end

zoneEvent:register()
```

### Actual Behaviour

`test.lua` - Found error.
```lua
---@class Position
---@field x number
---@field y number
---@field z number
Position = {}

---@class Creature
---@field teleportTo fun(self:Creature, position:Position):nil
Creature = {}

---@class Zone
---@field getName fun(self:Zone):string
---@overload fun(): Zone
Zone = {}

---@class Event
---@field onCreatureEnter fun(self:Zone, creature:Creature):nil
---@field onCreatureLeave fun(self:Zone, creature:Creature):nil
---@field register fun(self:Event):nil
---@overload fun(): Event
Event = {}

local zone = Zone()

local zoneEvent = Event()

function zoneEvent:onCreatureEnter(creature)
if self:getName() == zone:getName() then
creature:teleportTo(Position(0, 0, 0))
end
end

zoneEvent:register()
```

Images example



### Reproduction steps

Just copy the code and test it in any Lua file.
`self` should be of type `Zone`, as that's how it's defined in the meta file.

### Additional Notes

_No response_

### Log File

_No response_

Riproduci il problema nel Lua language server tramite la Visual Studio Code extension usando l’esempio test.lua fornito. Inizia tracciando il controllo dei tipi per i metodi definiti con i due punti e per il parametro self annotato; l’attività è completata quando self viene trattato come Zone e l’esempio non produce errori.

Scritto dal modello di indicizzazione a partire dal testo della issue.