1// { dg-do compile } 2// Origin: <togawa at acm dot arg> 3// c++/2094: unsupported 'ptrmem_cst' in type unification 4 5struct R 6{ 7 int i; 8}; 9 10struct S 11{ 12 int i; 13 int j; 14}; 15 16struct S2 : S 17{}; 18 19template<int S::*p, typename> 20struct X 21{ 22 X (); 23 template<typename U> X(const X<p,U> &); 24}; 25 26X<&S::i,S> x = X<&S::i,S>(); 27X<&S::i,S> x2 = X<&S2::i,S>(); 28X<&S::i,S> y = X<&S::j,S>(); // { dg-error "" } 29X<&S::i,S> z = X<&R::i,S>(); // { dg-error "" } 30