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)17 void Bar::Method(void) const
18 {
19   Foo foo(this, &Bar::Method);	// { dg-error "no match" }
20 }
21