Jaki jest sens niewiedzy?

[dcl.attr.noreturn] podaje następujący przykład: [[ noreturn ]] void f() { throw "error"; // OK } ale nie rozumiem, o co chodzi [[noreturn]], ponieważ typ zwracanej funkcji już jest void. Jaki jest sens tego noreturnatrybutu? Jak ma być