alias-template-template-param.cpp 345 B

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