Skip to main content

legacy_checkable Concept

Concept satisfied when a type was accepted by expect() and require() before the exclusion of the suspicious conditions. More...

Definition​

template <class T>
concept micro_os_plus::micro_test_plus::detail::legacy_checkable = (not extension::checkable<T>) and suspicious_condition<T>
          and requires (const T& t) { t ? true : false; }

Description​

Concept satisfied when a type was accepted by expect() and require() before the exclusion of the suspicious conditions.

Template Parameters
T

The type to be checked.

Satisfied by the types that are contextually convertible to bool but are not checkable, i.e. the suspicious_condition types. It constrains the deprecated overloads of expect() and require(), which keep such code compiling for one release, with a warning.

Definition at line 505 of file extension.h.

  template<class T>
  concept legacy_checkable = (not extension::checkable<T>) and suspicious_condition<T>
  and requires (const T& t) { t ? true : false; }

Generated via doxygen2docusaurus 2.2.8 by Doxygen 1.18.0.