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