// In header: <detail/inplace.hpp>

template<typename impl_type, typename storage_type> 
struct static_traits : public storage_type {
  // types
  typedef traits::copyable< impl_type, inplace_allocator<>> traits_type;
  typedef typename traits_type::pointer                     traits_ptr; 

  // public member functions
  void construct_traits();
  traits_ptr get_traits() const;
  void set_traits(const traits_ptr);
};