More control on missing-return diagnostics.

[AndreasMatthias]

The following example triggers a missing-return diagnostics for function foo().

local function my_error_function()
   error('xxx', 2)
end

---@param n integer
---@return integer
local function foo(n)
   if n > 20 then
      my_error_function()
      --- Expected behavior: no warning, because no return value is OK here.
   elseif n > 10 then
      --- Expected behavior: warning, because no return value is a mistake here.
   else
      return n
   end
end

I could disable this diagnostics with

   end ---@diagnostic disable-line: missing-return

but then I would not get a warning for the elseif n > 10 branch, where return is actually missing.

It seems to me that I can only disable this diagnostics for the whole if-statement, but not for a certain branch
of this if-statement.

[carsakiller]

There is an issue open for a feature that may satisfy your needs here

[AndreasMatthias]

Yes, exactly. Annotating functions that might throw an exception would be great.