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

   1 // PR c++/45012
   2
   3 template <bool B, class T=void> struct enable_if;
   4
   5 template <class T>
   6 struct enable_if<true,T>
   7 {
   8   typedef T type;
   9 };
  10
  11 enum { RUNTIME = 0 };
  12 // it compiles with the previous line commented out and the next commented in
  13 // static const int RUNTIME=0;
  14
  15 template <class T, class U, class EN=void> struct foo;
  16
  17 template <template<int> class V, int M>
  18 struct foo<V<M>,V<M>, typename enable_if<M==RUNTIME||M==2>::type> {};
  19
  20 template <template<int> class V1, template<int> class V2, int M>
  21 struct foo<V1<M>,V2<M>, typename enable_if<M==RUNTIME||M==2>::type> {};
  22
  23 template <int M> struct bar {};
  24
  25 foo<bar<2>,bar<2> > x;