[Feature request] Implicit casts for common conversions

Personne n'a encore pris cette issue.

I got some code for parsing command line flags/user inputs that commonly uses patterns like this

```
---@return string ...
local function strsplit(str, sep) end

local a, b, c = strsplit(userinput, ",")
b = tonumber(b) or 0 -- error: This variable is defined as type `string`. Cannot convert its type to `number`
```

The fix is to define b as `string|number` in the declaration, but it's a bit cumbersome, especially if I just want `b` as a number:

```
local a,
---@type number|string
b, c = strsplit(userinput, ",")
```

So it would be nice if common type conversion patterns like this could be recognized automatically and either allow the cast or infer the type as string|number from the beginning.

Edit: See [comment below](https://github.com/LuaLS/lua-language-server/issues/3027#issuecomment-2572687841), the implicit cast is already happening, this is really about type inference based on later assignments. Which may or may not be a good idea.

Commencez par retracer le comportement existant d'implicit-cast et de type-inference décrit dans l'issue, en particulier la manière dont les affectations ultérieures influencent une déclaration de variable antérieure. Définissez les règles d'inférence attendues et vérifiez-les à l'aide de l'exemple d'analyse de la ligne de commande ; le travail est terminé lorsqu'un comportement convenu est établi et que des tests couvrent le type inféré obtenu.

Rédigé par le modèle d'indexation à partir du texte de l'issue.