I guess in these cases a `@noignore` / `@nodiscard` for return types would be really useful to have.