id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
3824	boost introspection incomplete for user-types	farago1@…	nasonov	"Given the following structure:

{{{
struct B {};
typedef B type_;
struct A {
  type_ name;
};

BOOST_HAS_MEMBER_DATA(type_, name)
}}}


If type_ is B result is always false. B* works, as well as integral types. I don't know why it doesn't work because if you try to instantiate a template of given type.

eg, the following compiles fine with type_ = B
{{{
template <type_ A::*> struct type{};
type<&A::name>*;
}}}

Note: I do not use the typedef shortcut, it is just for exemplary purposes, but substituting the type itself doesn't work either."	Bugs	closed	Boost 1.42.0	None	Boost Development Trunk	Problem	invalid	introspection