[boost] Re: Novelty: autmatically assigning unique integral type ids

Sorry, I just reread my mail and there was a mistake: Daniel James wrote:

If I understand the problem correctly (and I'm not sure that I do), the declaration of unique_id_helper that you want to find is inside unique_id_impl<T>::declare_friend<Tag> which is neither in scope, or

That should be 'inside unique_id_impl<T>::declare_friend<Tag>'s namespace which is ....'

subject to ADL, when it is 'called' in unique_id_impl<T>::unmarked<Tag, N>. So only the 'no_type' declaration in boost::detail is found.

Just to be clear, unique_id_impl<T>::declare_friend<Tag> is in scope but its namespace is not. Daniel