204       : allocfn_(alloc),  in HashSet()
218       : allocfn_(other.allocfn_),  in HashSet()
238       : allocfn_(std::move(other.allocfn_)),  in HashSet()
470     swap(allocfn_, other.allocfn_);  in swap()
484     return allocfn_;  in get_allocator()
639     data_ = allocfn_.allocate(num_buckets_);  in AllocateStorage()
642       allocfn_.construct(allocfn_.address(data_[i]));  in AllocateStorage()
650         allocfn_.destroy(allocfn_.address(data_[i]));  in DeallocateStorage()
653         allocfn_.deallocate(data_, NumBuckets());  in DeallocateStorage()
685         allocfn_.destroy(allocfn_.address(element));  in Resize()
689       allocfn_.deallocate(old_data, old_num_buckets);  in Resize()
734   Alloc allocfn_;  // Allocator function.  variable