[dcl.attr.noreturn] provides the following example: [[ noreturn ]] void f() { throw "error"; // OK } but I do not understand what is the point of [[noreturn]], because the return type of the