gcc/testsuite/g++.dg/template/ptrmem7.C

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