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

template<int A, int B>
  struct S1
  {
    static constexpr int a = A;
    static constexpr int b = B;
  };

template<typename T>
  constexpr int var = T::a + T::b;

int main ()
{
  static_assert(var<S1<11, 100>> == var<S1<199, 23>>/2
		&& var<S1<50, 120>> == var<S1<150, var<S1<10, 10>>>>
		&& var<S1<53, 23>> != 222, "");
}