1 // PR c++/87125
2 // { dg-do compile { target c++11 } }
3 
4 template <typename T>
5 struct S {
6   template <typename U>
SS7   constexpr S (U) noexcept (T ()) {}
8 };
9 struct V : S<int> { using S::S; };
10 
11 bool
foo()12 foo ()
13 {
14   return noexcept (V (0));
15 }
16