// Origin: PR c++/53609 | |
// { dg-do compile { target c++11 } } | |
template<class...I> struct List{ static const bool is_ok = false;}; | |
template<int T> struct Z | |
{ | |
static const int value = T; | |
static const int value_square = T * T; | |
}; | |
template<template<int> class U> | |
struct List<U<2>, U<3>, U<4>, U<9>> { static const bool is_ok = true;}; | |
template<int...T> using LZ = List<Z<T>...>; | |
template<class...T> | |
struct F | |
{ | |
using N = LZ<T::value..., Z<4>::value, Z<9>::value>; | |
}; | |
static_assert (F<Z<2>, Z<3>>::N::is_ok, ""); |