Change: Forbid partial and explicit program-defined specializations
of allocator_traits.
Rationale: Allow addition of allocate_at_least to allocator_traits,
and potentially other members in the future.
Effect on original feature: Valid C++ 2020 code
that partially or explicitly specializes allocator_traits
is ill-formed with no diagnostic required in this revision of C++.