CompilerDriver/cc2/regression-tests/pure2-bugfix-for-ufcs-noexcept.cpp2


1
2
3
4
5
6

t: type = {
  swap: (virtual inout this, that) = { } // Non-`virtual` blocked on #508, idiomatic form on #507.
}
main: () = {
  static_assert(noexcept(t().swap(t()))); // Fails on Clang 12 (lambda in unevaluated context) and GCC 10 (static assertion failed)
}