fix usage of [[noreturn]]