// { dg-do compile { target c++14 } }

template<typename T>
 constexpr int var = sizeof (T);

template<typename T>
  struct S1
  {
    template<typename U>
    static constexpr int a = sizeof (U) + sizeof (T);
  };

int main ()
{
  static_assert(var<int> + var<char> == S1<int>::a<char>, "");
}