fail_not_incrementable.cpp 592 B

123456789101112131415161718192021222324252627
  1. // Boost.TypeErasure library
  2. //
  3. // Copyright 2011 Steven Watanabe
  4. //
  5. // Distributed under the Boost Software License Version 1.0. (See
  6. // accompanying file LICENSE_1_0.txt or copy at
  7. // http://www.boost.org/LICENSE_1_0.txt)
  8. //
  9. // $Id$
  10. #include <boost/type_erasure/any.hpp>
  11. #include <boost/type_erasure/builtin.hpp>
  12. #include <boost/type_erasure/operators.hpp>
  13. #include <boost/mpl/vector.hpp>
  14. using namespace boost::type_erasure;
  15. class X {};
  16. typedef boost::mpl::vector<copy_constructible<>, incrementable<> > test_concept;
  17. int main()
  18. {
  19. X x = {};
  20. any<test_concept> a(x);
  21. ++a;
  22. }