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 
main()17 int main()
18 {
19   test_property<X,int>(42);
20 }
21