[ 2022-01-29; Daniel comments ]

This issue has some overlap with LWG 3545 in regard to the question how we should handle the rebind member template of the pointer_traits primary template as specified by [pointer.traits.types] p3. It would seem preferable to decide for the same approach in both cases.