|  | // RUN: %clang_cc1 -ast-print -std=c++14 %s -v -o %t.1.cpp | 
|  | // RUN: %clang_cc1 -ast-print -std=c++14 %t.1.cpp -o %t.2.cpp | 
|  | // RUN: diff %t.1.cpp %t.2.cpp | 
|  |  | 
|  | // Specializations | 
|  |  | 
|  | template<typename T> class C0 {}; | 
|  | template<> class C0<long> {}; | 
|  | template<> class C0<long*> {}; | 
|  | C0<int> c0; | 
|  |  | 
|  | template<int N> class C1 {}; | 
|  | template<> class C1<11> {}; | 
|  | C1<2> c1a; | 
|  | C1<4> c1b; | 
|  |  | 
|  | template<typename T> class C2a {}; | 
|  | template<typename T> class C2b {}; | 
|  | template<template<typename T> class TC> class C2 {}; | 
|  | template<> class C2<C2a> {}; | 
|  | C2<C2b> c2; | 
|  |  | 
|  |  | 
|  | // Default arguments | 
|  |  | 
|  | template<typename T = int> class C10 {}; | 
|  | template<int N = 10> class C11 {}; | 
|  | template<typename T, int N = 22> class C12a {}; | 
|  | //FIXME: template<template<typename T, int N> class TC = C12a> class C12 {}; | 
|  | //FIXME: template<template<typename T> class TC = C12a> class C13 {}; | 
|  |  | 
|  |  | 
|  | // Partial specializations | 
|  |  | 
|  | template<typename T, typename U> struct C20 { | 
|  | T a; | 
|  | U b; | 
|  | }; | 
|  | template<typename T> struct C20<T, int> { | 
|  | T a; | 
|  | }; | 
|  |  | 
|  | template<int N, typename U> struct C21 { | 
|  | U a; | 
|  | U b[N]; | 
|  | }; | 
|  | template<int N> struct C21<N, int> { | 
|  | int a[N]; | 
|  | }; | 
|  |  | 
|  | template<template<typename T2> class TC, typename U> struct C22 { | 
|  | TC<U> a; | 
|  | U b; | 
|  | }; | 
|  | template<template<typename T2> class TC> struct C22<TC, int> { | 
|  | TC<int> a; | 
|  | }; | 
|  |  | 
|  |  | 
|  | // Declaration only | 
|  | template<typename T> class C30; | 
|  | template<> class C30<long>; | 
|  | template<> class C30<long*>; | 
|  | extern C30<int> c30; |