// PR c++/60046
// { dg-require-effective-target c++11 }

constexpr bool foo () { return noexcept (true); }
template <typename T>
struct V
{
  void bar (V &) noexcept (foo ()) {}
};
template <typename T>
struct W : public V <int>
{
  void bar (W &x) { V <int>::bar (x); }
};

int
main ()
{
  W <int> a, b;
  a.bar (b);
}