Richard Smith | 762bb9d | 2011-10-13 22:29:44 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
Andy Gibbs | 8e8fb3b | 2012-10-19 12:44:48 +0000 | [diff] [blame] | 2 | // expected-no-diagnostics |
Richard Smith | 3e4c6c4 | 2011-05-05 21:57:07 +0000 | [diff] [blame] | 3 | |
| 4 | template<template<typename> class D> using C = D<int>; |
| 5 | |
| 6 | // Substitution of the alias template transforms the TemplateSpecializationType |
| 7 | // 'D<int>' into the DependentTemplateSpecializationType 'T::template U<int>'. |
| 8 | template<typename T> void f(C<T::template U>); |