1d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregor// RUN: %clang_cc1 -fsyntax-only -verify %s 28e8fb3be5bd78f0564444eca02b404566a5f3b5dAndy Gibbs// expected-no-diagnostics 3d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregor 4d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregor// Template type parameters. 5d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregortypedef unsigned char T; 6d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregortemplate<typename T = T> struct X0 { }; 7d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregortemplate<> struct X0<unsigned char> { static const bool value = true; }; 8d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregorint array0[X0<>::value? 1 : -1]; 9d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregor 10d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregor// Non-type template parameters. 11d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregorconst int N = 17; 12d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregortemplate<int N = N> struct X1 { }; 13d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregortemplate<> struct X1<17> { static const bool value = true; }; 14d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregorint array1[X1<>::value? 1 : -1]; 15d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregor 16d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregor// Template template parameters. 17d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregortemplate<template<class> class X0 = X0> struct X2 { }; 18d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregortemplate<> struct X2<X0> { static const bool value = true; }; 19d7115a81b1a70db1652a7b518dbdaefa3bb6b3fdDouglas Gregorint array2[X2<>::value? 1 : -1]; 20