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

   1 // PR c++/54858
   2 // { dg-do compile }
   3
   4 template <int> struct A {};
   5 template <typename T, T *> struct B {};
   6 template <typename D> struct C
   7 {
   8   A<0> c0; B<A<0>, &C::c0> d0;  // { dg-error "could not convert template argument" }
   9   A<0> c1; B<A<0>, &C::c1> d1;  // { dg-error "could not convert template argument" }
  10   A<0> c2; B<A<0>, &C::c2> d2;  // { dg-error "could not convert template argument" }
  11   A<0> c3; B<A<0>, &C::c3> d3;  // { dg-error "could not convert template argument" }
  12   A<0> c4; B<A<0>, &C::c4> d4;  // { dg-error "could not convert template argument" }
  13   A<0> c5; B<A<0>, &C::c5> d5;  // { dg-error "could not convert template argument" }
  14   A<0> c6; B<A<0>, &C::c6> d6;  // { dg-error "could not convert template argument" }
  15   A<0> c7; B<A<0>, &C::c7> d7;  // { dg-error "could not convert template argument" }
  16   A<0> c8; B<A<0>, &C::c8> d8;  // { dg-error "could not convert template argument" }
  17   A<0> c9; B<A<0>, &C::c9> d9;  // { dg-error "could not convert template argument" }
  18   A<0> ca; B<A<0>, &C::ca> da;  // { dg-error "could not convert template argument" }
  19   A<0> cb; B<A<0>, &C::cb> db;  // { dg-error "could not convert template argument" }
  20 };
  21 C<int> e;