checkable Concept
C++20 concept satisfied when a type can be used as a test expression in expect() or assume(). More...
Definition
template <class T>
concept micro_os_plus::micro_test_plus::type_traits::checkable = is_op<T> or std::convertible_to<T, bool>
concept micro_os_plus::micro_test_plus::type_traits::checkable = is_op<T> or std::convertible_to<T, bool>
Description
C++20 concept satisfied when a type can be used as a test expression in expect() or assume().
- Template Parameters
-
T The type to be checked.
The checkable concept is satisfied when T is either a framework operator type (derived from op) or is implicitly convertible to bool. It is used to constrain the expect() and assume() function templates, ensuring that only sensible expression types are accepted.
Definition at line 470 of file type-traits.h.
template<class T>
concept checkable = is_op<T> or std::convertible_to<T, bool>
Generated via doxygen2docusaurus 2.2.0 by Doxygen 1.17.0.