can template alias be used for partial specialization?

c++, c++11, partial-specialization

Solution

The code is perfectly fine in C++11. The Clang's warning can be ignored.

Problem

Given a template alias ``` template<unsigned U> using uint_ = integral_constant<unsigned,U>; ``` The partial specialization of ``` template<class T,class P> struct size{}; ``` as ``` template <class T,unsigned U> struct size<T,uint_<U>>{}; ``` generates a warning as`template parameter can not be deduced` for clang 3.1 while no warning is generated with gcc 4.7 So, is it malformed code?

Original source