}
// Move constructor.
- /* implicit */ circular_buffer(circular_buffer&& other) :
+ circular_buffer(circular_buffer&& other) :
boost::contract::constructor_precondition<circular_buffer>([&] {
BOOST_CONTRACT_ASSERT(!other.moved());
})
}
// Copy constructor.
- /* implicit */ circular_buffer(circular_buffer const& other) :
+ circular_buffer(circular_buffer const& other) :
boost::contract::constructor_precondition<circular_buffer>([&] {
BOOST_CONTRACT_ASSERT(!other.moved());
})