ceph/src/boost/libs/contract/test/specify/post_old_error.cpp

   1
   2 // Copyright (C) 2008-2018 Lorenzo Caminiti
   3 // Distributed under the Boost Software License, Version 1.0 (see accompanying
   4 // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
   5 // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
   6
   7 // Test old after post error (same if not free func).
   8
   9 #include <boost/contract/function.hpp>
  10 #include <boost/contract/check.hpp>
  11
  12 void f() {
  13     boost::contract::check c = boost::contract::function()
  14         .postcondition([] {})
  15         .old([] {}) // Error (old after post).
  16     ;
  17 }
  18
  19 int main() {
  20     f();
  21     return 0;
  22 }
  23