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

   1 // { dg-do compile { target c++14 } }
   2
   3 template<typename T>
   4  constexpr int var = sizeof (T);
   5
   6 template<typename T>
   7   struct S1
   8   {
   9     template<typename U>
  10     static constexpr int a = sizeof (U) + sizeof (T);
  11   };
  12
  13 int main ()
  14 {
  15   static_assert(var<int> + var<char> == S1<int>::a<char>, "");
  16 }