gcc/testsuite/g++.dg/cpp0x/variadic-ttp3a.C

   1 // Test that passing a non-variadic template to a variadic TTP works
   2 // with explicit template arguments in a function call..
   3 // { dg-do compile { target c++11 } }
   4
   5 template<template<typename...> class Property,
   6          typename Type1, typename... Types>
   7 bool test_property(typename Property<Type1, Types...>::value_type value);
   8
   9 template <class T>
  10 struct X
  11 {
  12   using type = X;
  13   using value_type = int;
  14   static const value_type value = 42;
  15 };
  16
  17 int main()
  18 {
  19   test_property<X,int>(42);
  20 }