boost introspection incomplete for user-types

[farago1@…]

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 template <type_ A::*> struct type{}; type<&A::name>*; there is no compile-error). Note: I do not use the typedef shortcut, it is just for exemplary purposes, but substituting the type itself doesn't work either.

[Vladimir Prus]

Dup of #3824