[ 2022-02-22 LEWG telecon; Status changed: LEWG → Open ]

No objection to unanimous consent for Jonathan's suggestion to make pointer_traits an empty class when there is no element_type. Jonathan to provide a paper.

Previous resolution [SUPERSEDED]:

This wording is relative to N4885.

1. Modify [pointer.traits.types] as indicated:

   As additional drive-by fix the improper usage of the term "instantiation" has been corrected.

   using element_type = see below;
   

   -1- Type: Ptr::element_type if the qualified-id Ptr::element_type is valid and denotes a type ([temp.deduct]); otherwise, T if Ptr is a class template instantiationspecialization of the form SomePointer<T, Args>, where Args is zero or more type arguments; otherwise, the specialization is ill-formedpointer_traits has no member element_type.