Detect functions that never return (and @noreturn annotation)

Ninguém assumiu esta issue ainda.

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

Nenhum arquivo ou teste é mencionado na issue. Comece rastreando o aviso da verificação de nil e o tratamento existente da anotação @nodiscard; em seguida, determine como built-ins que não retornam, funções personalizadas e @noreturn devem ser representados; considera-se concluído quando o exemplo não emitir mais o aviso e o comportamento da anotação estiver coberto.

Escrita pelo modelo de indexação a partir do texto da issue.