Whether all instances of the allocator type compare equal.
Declared in <bslma_allocatortraits.h>
using is_always_equal = __detected_or_t<is_empty<_Alloc>, __equal, _Alloc>::type;Alloc::is_always_equal if that type exists, otherwise is_empty<Alloc>::type