1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3// There is no semantic difference between class and typename in a
4// template-parameter. typename followed by an unqualified-id names a
5// template type parameter.
6template<class T> struct X;
7template<typename T> struct X;
8
9// typename followed by aqualified-id denotes the type in a non-type
10// parameter-declaration.
11template<typename T, typename T::type Value> struct Y0;
12template<typename T, typename X<T>::type Value> struct Y1;
13
14// A storage class shall not be specified in a template-parameter declaration.
15template<static int Value> struct Z; // FIXME: expect an error
16
17// Make sure that we properly disambiguate non-type template parameters that
18// start with 'class'.
19class X1 { };
20template<class X1 *xptr> struct Y2 { };
21
22// FIXME: add the example from p2
23