| // PR c++/82099 | |
| // { dg-do compile { target c++11 } } | |
| template <typename T, typename U> | |
| void bar (T &x, T &y, U u) | |
| { | |
| u (x, y); | |
| } | |
| template <typename T> | |
| void baz (T &x, T &y) noexcept (noexcept (x == y)); | |
| void | |
| foo (int x, int y) | |
| { | |
| bar (x, y, baz<int>); | |
| } |