message_argument Concept
Concept satisfied when T can be appended to the message of a check. More...
Definition
template <class T>
concept micro_os_plus::micro_test_plus::detail::message_argument = lazy_message<T>
or (extension::printable<T>
and not(std::is_class_v<T> and std::invocable<const T&>))
concept micro_os_plus::micro_test_plus::detail::message_argument = lazy_message<T>
or (extension::printable<T>
and not(std::is_class_v<T> and std::invocable<const T&>))
Description
Concept satisfied when T can be appended to the message of a check.
- Template Parameters
-
T The type to be checked.
The message_argument concept is satisfied by a lazy_message, or by a value that satisfies extension::printable, except a class type callable without arguments that is not a lazy_message. A lambda without captures, which returns void or a value that cannot be written, converts to a function pointer and then to bool, so it would be written as true instead of being rejected; the message must be a value, or a callable object that returns one.
Definition at line 714 of file extension.h.
template<class T>
concept message_argument = lazy_message<T>
or (extension::printable<T>
and not(std::is_class_v<T> and std::invocable<const T&>))
Generated via doxygen2docusaurus 2.2.8 by Doxygen 1.18.0.