BOOST_CONTRACT_PERMISSIVE — Disable some compile-time errors generated by this library (undefined by default).
// In header: <boost/contract/core/config.hpp> BOOST_CONTRACT_PERMISSIVE
Defining this macro disables a number of static checks and related compile-time errors generated by this library, for example:
The static invariant member function named as
BOOST_CONTRACT_STATIC_INVARIANT_FUNC must be declared
Non-static invariant member functions named as
BOOST_CONTRACT_INVARIANT_FUNC must be declared either
const volatile, or
In general, it is not recommended to define this macro because these compile-time checks can guard against misuses of this library.