Searched refs:destroy_pointer (Results 1 – 1 of 1) sorted by relevance
317 typedef T* destroy_pointer; in destroy() typedef320 <Allocator, const destroy_pointer>::value; in destroy()