1141402Sphk// { dg-do compile }
2141402Sphk// Origin: <togawa at acm dot arg>
3141402Sphk// c++/2094: unsupported 'ptrmem_cst' in type unification
4141402Sphk
5141402Sphkstruct R
6141402Sphk{
7141402Sphk  int i;
8141402Sphk};
9141402Sphk
10141402Sphkstruct S
11141402Sphk{
12141402Sphk  int i;
13141402Sphk  int j;
14141402Sphk};
15141402Sphk
16141402Sphkstruct S2 : S
17141402Sphk{};
18141402Sphk
19141402Sphktemplate<int S::*p, typename>
20141402Sphkstruct X
21141402Sphk{
22141402Sphk  X ();
23141402Sphk  template<typename U> X(const X<p,U> &);
24141402Sphk};
25141402Sphk
26141402SphkX<&S::i,S> x  = X<&S::i,S>();
27141402SphkX<&S::i,S> x2 = X<&S2::i,S>();
28141402SphkX<&S::i,S> y  = X<&S::j,S>();  // { dg-error "" }
29141402SphkX<&S::i,S> z  = X<&R::i,S>();  // { dg-error "" }
30141402Sphk