Proposed resolution:

This wording is relative to N5001.

1. Modify [re.traits] as indicated:

   template<class ForwardIterator>
     string_type transform_primary(ForwardIterator first, ForwardIterator last) const;
   

   -7- Effects: If

   typeid(use_facet<collate<charT>>(getloc())) == typeid(collate_byname<charT>)
   

   and the form of the sort key returned by collate_byname<charT>::transform(first, last) is known and can be converted into a primary sort key then returns that key, otherwise returns an empty string.

[ Hagenberg 2025-02-16; Status changed: Voting → WP. ]

[ 2025-02-07; Reflector poll ]

Set status to Tentatively Ready after seven votes in favour during reflector poll.

[re.traits]/7 currently says typeid(use_facet<collate<charT>>) == typeid(collate_byname<charT>), which is always `false` because use_facet<collate<charT>> is a function template specialization while collate_byname<charT> is a class template specialization. This looks like misuse, and has been present in TR1 (N1836).

Presumably the intended operand is use_facet<collate<charT>>(getloc()).