Using LuaJIT's nil-coalescing extension does not narrow the type correctly

Nessuno ha ancora preso questa issue.

### How are you using the lua-language-server?

Other

### Which OS are you using?

Linux

### What is the issue affecting?

Type Checking

### Expected Behaviour

Using the nil-coalescing operator should narrow an expressions type. For example, in this sample code, the type of `b` should be narrowed to `integer`:
```lua
---@type integer?
local foo = 1
local bar = foo ?? 2
```

### Actual Behaviour

Instead of the type being narrowed, the type of `foo` is copied instead, and the type of `bar` is thought to be `integer?` instead of `integer`.

### Reproduction steps

1. Insert the following sample code in a project:
```lua
---@type integer?
local foo = 1
local bar = foo ?? 2
```
2. Check the type of `b`

### Additional Notes

This seems to work fine using the classic Lua approach with `or`:
```lua
---@type integer?
local foo = 1
local bar = foo or 2
```
The type of `bar` is `integer` here, as expected.

### Log File

_No response_

Inizia riproducendo il problema nel type checker di lua-language-server con l’esempio `??` fornito, quindi confronta il tipo inferito con quello dell’espressione `or` equivalente. Traccia il modo in cui l’espressione nil-coalescing gestisce gli operandi nullable; il lavoro è completato quando `bar` viene inferito come `integer` e il comportamento esistente rimane corretto per il caso di confronto.

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