diff --git a/2996_reflection/p2996r8.html b/2996_reflection/p2996r8.html index bc8f120a..dad93688 100644 --- a/2996_reflection/p2996r8.html +++ b/2996_reflection/p2996r8.html @@ -8693,16 +8693,13 @@

[meta.ref because in general such queries for templates cannot be answered. — end note ]

consteval bool is_noexcept(info r);
-

FIXME: this needs to talk about potentially throwing, -https://eel.is/c++draft/except.spec#1.sentence-2

8 Returns: true if r represents a noexcept -function type or a function or member function that is declared -noexcept. -Otherwise, +function type or a function or member function with a non-throwing +exception specification ([except.spec]). Otherwise, false. Note 2: If r represents a function template that is declared diff --git a/2996_reflection/reflection.md b/2996_reflection/reflection.md index 78641d60..6708d4e4 100644 --- a/2996_reflection/reflection.md +++ b/2996_reflection/reflection.md @@ -5086,9 +5086,7 @@ consteval bool is_explicit(info r); consteval bool is_noexcept(info r); ``` -FIXME: this needs to talk about potentially throwing, https://eel.is/c++draft/except.spec#1.sentence-2 - -[#]{.pnum} *Returns*: `true` if `r` represents a `noexcept` function type or a function or member function that is declared `noexcept`. Otherwise, `false`. [If `r` represents a function template that is declared `noexcept`, `is_noexcept(r)` is still `false` because in general such queries for templates cannot be answered.]{.note} +[#]{.pnum} *Returns*: `true` if `r` represents a `noexcept` function type or a function or member function with a non-throwing exception specification ([except.spec]). Otherwise, `false`. [If `r` represents a function template that is declared `noexcept`, `is_noexcept(r)` is still `false` because in general such queries for templates cannot be answered.]{.note} ```cpp consteval bool is_bit_field(info r);