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 
main()13 int main ()
14 {
15   static_assert(var<int> + var<char> == S1<int>::a<char>, "");
16 }
17