1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 23e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 33e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<template<typename> class, typename> class T, template<typename> class V> struct PartialApply { 43e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith template<typename W> using R = T<V, W>; 53e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith}; 63e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 73e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<typename T> using Id = T; 83e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<typename> class, typename X> using Zero = X; 93e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<template<typename> class, typename> class N, template<typename> class F, typename X> using Succ = F<N<F,X>>; 103e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 113e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<typename> class F, typename X> using One = Succ<Zero, F, X>; 123e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<typename> class F, typename X> using Two = Succ<One, F, X>; 133e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 143e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<template<typename> class, typename> class A, 153e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith template<template<typename> class, typename> class B, 163e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith template<typename> class F, 173e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith typename X> using Add = A<F, B<F, X>>; 183e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 193e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<template<typename> class, typename> class A, 203e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith template<template<typename> class, typename> class B, 213e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith template<typename> class F, 223e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith typename X> using Mul = A<PartialApply<B,F>::template R, X>; 233e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 243e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<typename> class F, typename X> using Four = Add<Two, Two, F, X>; 253e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<typename> class F, typename X> using Sixteen = Mul<Four, Four, F, X>; 263e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<template<typename> class F, typename X> using TwoHundredAndFiftySix = Mul<Sixteen, Sixteen, F, X>; 273e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 283e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<typename T, T N> struct Const { static const T value = N; }; 293e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<typename A> struct IncrementHelper; 303e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<typename T, T N> struct IncrementHelper<Const<T, N>> { using Result = Const<T, N+1>; }; 313e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithtemplate<typename A> using Increment = typename IncrementHelper<A>::Result; 323e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smith 333e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithusing Arr = int[TwoHundredAndFiftySix<Increment, Const<int, 0>>::value]; 343e4c6c4c79a03f5cb0c4671d7c282d623c6dc35eRichard Smithusing Arr = int[256]; 35