gcc/testsuite/g++.dg/cpp0x/noexcept41.C

   1 // PR c++/72845
   2 // { dg-do compile { target c++11 } }
   3
   4 template <typename> struct g { static const int h = 0; };
   5 template <typename i> void declval() { static_assert(!g<i>::h,""); }
   6 template <typename> struct a {
   7   template <typename d, typename c>
   8   friend auto f(d &&, c &&) noexcept(declval<c>) -> decltype(declval<c>); // { dg-error "different exception" }
   9 };
  10 template <typename d, typename c> auto f(d &&, c &&) -> decltype(declval<c>);
  11 struct e {};
  12 static_assert((e{}, declval<a<int>>),""); // { dg-error "no context to resolve type" }