19ca5c425SRichard Smith // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s 2*c6e68daaSAndy Gibbs // expected-no-diagnostics 33f1b5d07SRichard Smith 43f1b5d07SRichard Smith template<template<typename> class D> using C = D<int>; 53f1b5d07SRichard Smith 63f1b5d07SRichard Smith // Substitution of the alias template transforms the TemplateSpecializationType 73f1b5d07SRichard Smith // 'D<int>' into the DependentTemplateSpecializationType 'T::template U<int>'. 83f1b5d07SRichard Smith template<typename T> void f(C<T::template U>); 9