| Richard Smith | 762bb9d | 2011-10-13 22:29:44 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
| Richard Smith | 3e4c6c4 | 2011-05-05 21:57:07 +0000 | [diff] [blame] | 2 | |
| 3 | template<template<typename> class D> using C = D<int>; | ||||
| 4 | |||||
| 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>); | ||||