1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s 2*f4a2713aSLionel Sambuc // expected-no-diagnostics 3*f4a2713aSLionel Sambuc 4*f4a2713aSLionel Sambuc template<template<typename> class D> using C = D<int>; 5*f4a2713aSLionel Sambuc 6*f4a2713aSLionel Sambuc // Substitution of the alias template transforms the TemplateSpecializationType 7*f4a2713aSLionel Sambuc // 'D<int>' into the DependentTemplateSpecializationType 'T::template U<int>'. 8*f4a2713aSLionel Sambuc template<typename T> void f(C<T::template U>); 9