1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++0x %s
3 template<template<typename
> class D
> using C
= D
<int>;
5 // Substitution of the alias template transforms the TemplateSpecializationType
6 // 'D<int>' into the DependentTemplateSpecializationType 'T::template U<int>'.
7 template<typename T
> void f(C
<T::template U
>);