|
111
|
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 }
|
