1 // PR c++/59818 2 3 template <class T> 4 struct Identity { 5 typedef T type; 6 }; 7 8 struct Foo { 9 template <typename T> 10 Foo(T*, void (Identity<T>::type::*m)(void)); 11 }; 12 13 struct Bar { 14 void Method(void) const; 15 }; 16 Method(void)17void Bar::Method(void) const 18 { 19 Foo foo(this, &Bar::Method); // { dg-error "no match" } 20 } 21