| 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
|---|---|
| 2 | // expected-no-diagnostics |
| 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>); |
| 9 |