| 196 | /// A config which isn't compatible to other configs |
| 197 | template <bool Throws, bool HasStrongExceptGuarantee, typename... Args> |
| 198 | struct property { |
| 199 | // Is true when the function throws an exception on empty invocation. |
| 200 | static constexpr auto const is_throwing = Throws; |
| 201 | |
| 202 | // Is true when the function throws an exception on empty invocation. |
| 203 | static constexpr auto const is_strong_exception_guaranteed = |
| 204 | HasStrongExceptGuarantee; |
| 205 | }; |
| 206 | |
| 207 | #ifndef NDEBUG |
| 208 | [[noreturn]] inline void unreachable_debug() { |
nothing calls this directly
no outgoing calls
no test coverage detected