1 // { dg-do compile { target c++11 } }
2 
3 struct B
4 {
5   constexpr operator int() const { return 4; }
6 };
7 
8 template <int I>
9 struct C;
10 
11 template<>
12 struct C<4> { typedef int TP; };
13 
14 template <class T>
15 struct A
16 {
17   constexpr static B t = B();
18   C<t>::TP tp;
19 };
20 
21 A<B> a;
22