./compute_bases.exe 
:computed_bases_t=
  boost::type_erasure::concept_interface<boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::type_erasure::concept_interface<boost::type_erasure::destructible<boost::type_erasure::_self>, boost::type_erasure::concept_interface<simple<boost::type_erasure::_self>, boost::type_erasure::any_base<boost::type_erasure::any<boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::type_erasure::_self> >, boost::type_erasure::_self, void>, boost::type_erasure::_self, void>, boost::type_erasure::_self, void>
===>Enter:{{compute_bases.cpp:concept_interface<simple<C>,Base,C>::CTOR()
  :concept_t=simple<boost::type_erasure::_self>
  :Base=boost::type_erasure::any_base<boost::type_erasure::any<boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::type_erasure::_self> >
===>Exit_:}}compute_bases.cpp:concept_interface<simple<C>,Base,C>::CTOR()
===>Enter:{{compute_bases.cpp:concept_interface<requirements<C>::type,Base,C>::concept_CTOR()
  :concept_t=boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>
  :Base=boost::type_erasure::concept_interface<boost::type_erasure::destructible<boost::type_erasure::_self>, boost::type_erasure::concept_interface<simple<boost::type_erasure::_self>, boost::type_erasure::any_base<boost::type_erasure::any<boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::type_erasure::_self> >, boost::type_erasure::_self, void>, boost::type_erasure::_self, void>
===>Exit_:}}compute_bases.cpp:concept_interface<requirements<C>::type,Base,C>::concept_CTOR()
===>Enter:{{compute_bases.cpp:concept_interface<requirments<C>::type,Base,C>::simple()
  ***wrong simple interface***
===>Exit_:}}compute_bases.cpp:concept_interface<requirments<C>::type,Base,C>::simple()

Compilation finished at Mon Aug 27 18:49:26