Detect functions that never return (and @noreturn annotation)

Nessuno ha ancora preso questa issue.

Some functions, such as `error`, never return control to the caller. This can be used to prove that a value is not nil, for example:

```lua
function my_function(input)
local value = input.value or error('Missing value')
-- The following line would currently raise a "Needs nil check" warning
-- However, if it was nil at runtime, an error would have been raised and it would never get this far.
return value:sub(1, 3)
end
```

It's not just `error` that can cause this, however. A custom function could be written that never returns as well (the most obvious way is that the function unconditionally calls `error`, but there may be other ways involving coroutines or functions implemented in C). A `@noreturn` annotation could be used to indicate this, similar to `@nodiscard`.

Nell’issue non sono indicati né un file né un test. Inizia tracciando l’avviso del controllo di nil e la gestione esistente dell’annotazione @nodiscard, quindi determina come dovrebbero essere rappresentati i built-in che non restituiscono, le funzioni personalizzate e @noreturn; il lavoro è completato quando l’esempio non genera più l’avviso e il comportamento dell’annotazione è coperto.

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