1 // PR c++/84045 2 // { dg-do compile { target c++11 } } 3 4 template <typename T> struct K { 5 static const bool d = true; 6 }; 7 template <typename T, typename> struct B { 8 typedef K<T> D; 9 void foo () noexcept (D::d); 10 }; 11 template <typename T> struct P { 12 P () noexcept (K<T>::d); 13 }; 14 P<int> p; 15