Detect functions that never return (and @noreturn annotation)

Dieses Issue hat noch niemand übernommen.

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`.

Im Issue wird keine Datei und kein Test genannt. Beginne damit, die Warnung zur nil-Prüfung und die bestehende Verarbeitung der @nodiscard-Annotation nachzuverfolgen, und ermittle dann, wie nicht zurückkehrende Built-ins, benutzerdefinierte Funktionen und @noreturn dargestellt werden sollten; abgeschlossen ist die Arbeit, wenn das Beispiel nicht mehr warnt und das Verhalten der Annotation abgedeckt ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.