gcc/testsuite/g++.dg/cpp1y/var-templ17.C

   1 // DR 1727: a specialization doesn't need to have the same type
   2 // { dg-do compile { target c++14 } }
   3
   4 template <class T> T t = 42;
   5 template<> void* t<int> = 0;
   6
   7 template<class T, class U> struct same;
   8 template<class T> struct same<T,T> {};
   9 same<void*,decltype(t<int>)> s;