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