[Bug c++/30281] [reject valid?] type deduction fails.

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-01-07 00:54 -------
Reduced testcase:

struct a
{
  int g(void);
};

struct b : a { };

template < typename T >
struct wrapper
{
        template < typename R >
        void add_method( R ( T::* )() const );
};
void test()
{
        wrapper< b >().add_method( &b::g );
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30281