1 // { dg-do compile { target c++17 } }
2 
3 template <class T>
4 struct A
5 {
6   static constexpr auto x = T::x;
7 };
8 
9 struct B;
10 A<B> a;
11 
12 struct B
13 {
14   static constexpr auto x = 42;
15 };
16 
17 auto x = a.x;
18