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,