210       : allocfn_(alloc),  in HashSet()
224       : allocfn_(other.allocfn_),  in HashSet()
244       : allocfn_(std::move(other.allocfn_)),  in HashSet()
483     swap(allocfn_, other.allocfn_);  in swap()
497     return allocfn_;  in get_allocator()
660     data_ = allocfn_.allocate(num_buckets_);  in AllocateStorage()
663       allocfn_.construct(allocfn_.address(data_[i]));  in AllocateStorage()
671         allocfn_.destroy(allocfn_.address(data_[i]));  in DeallocateStorage()
674         allocfn_.deallocate(data_, NumBuckets());  in DeallocateStorage()
706         allocfn_.destroy(allocfn_.address(element));  in Resize()
710       allocfn_.deallocate(old_data, old_num_buckets);  in Resize()
755   Alloc allocfn_;  // Allocator function.  variable