micro_os_plus::micro_test_plus::detail::message_argument Concept Reference

Concept satisfied when T can be appended to the message of a check. More...

#include <extension.h>

Concept definition

    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&>))

Detailed Description

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.