Какой смысл в noreturn?

[dcl.attr.noreturn] предоставляет следующий пример: [[ noreturn ]] void f() { throw "error"; // OK } но я не понимаю в чем смысл [[noreturn]], потому что возвращаемый тип функции уже есть void. Итак, в чем смысл этого noreturnатрибута? Как это должно быть...