gcc/testsuite/g++.dg/template/canon-type-17.C

   1 // { dg-do compile { target c++11 } }
   2 template<unsigned u> struct size_c{ static constexpr unsigned value = u; };
   3 template<class... T> auto return_size(T... t) -> size_c<sizeof...(t)>;
   4 template<class... T> auto return_size(T... t) -> size_c<sizeof...(t)>;
   5 static_assert(decltype(return_size('a'))::value == 1u, "");