id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
6016	Specializing tag_of is ambiguous with having a fusion tag	Mathias Gaunard	Joel de Guzman	"The way tag_of is implemented, having both a specialization of tag_of and a fusion_tag typedef is ambiguous.

This is problematic because it can prevent redefining Proto expressions as other types of fusion sequences for example.

testcase:
{{{
#include <boost/fusion/include/tag_of.hpp>

struct my_tag {};

template<class T>
struct my_type
{
    typedef my_tag fusion_tag;
};

namespace boost { namespace fusion { namespace traits
{
    template<class T>
    struct tag_of< my_type<T> >
    {
        typedef my_tag type;
    };
} } }

int main()
{
    boost::fusion::traits::tag_of<my_type<int> >::type _;
}
}}}

To solve this problem, a two-level specialization system should be provided so that specialization is preferred over SFINAE."	Bugs	closed	To Be Determined	fusion	Boost Development Trunk	Problem	fixed