gcc/testsuite/g++.dg/cpp0x/pr52440.C

   1 // PR c++/52440
   2 // { dg-do compile { target c++11 } }
   3
   4 template<bool>
   5 struct V
   6 {
   7   typedef void type;
   8 };
   9
  10 template<typename T>
  11 struct X
  12 {
  13   template<typename>
  14   static constexpr bool always_true()
  15   {
  16     return true;
  17   }
  18
  19   template<typename U,
  20            typename = typename V<always_true<U>()>::type>
  21   X(U &&) {}
  22 };
  23
  24 int main()
  25 {
  26   X<int> x(42);
  27 }