test: add case for UFCS noexcept

Author: JohelEGP

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

@@ -0,0 +1,4 @@
+t: type = {
+  swap: (inout this, that) = { }
+}
+main: () = { static_assert(noexcept(t().swap(t()))); }

regression-tests/test-results/gcc-13/pure2-bugfix-for-ufcs-noexcept.cpp.execution

@@ -0,0 +1,34 @@
+
+#define CPP2_USE_MODULES         Yes
+
+//=== Cpp2 type declarations ====================================================
+
+
+#include "cpp2util.h"
+
+#line 1 "pure2-bugfix-for-ufcs-noexcept.cpp2"
+class t;
+  
+
+//=== Cpp2 type definitions and function declarations ===========================
+
+#line 1 "pure2-bugfix-for-ufcs-noexcept.cpp2"
+class t {
+  public: auto swap(t const& that) noexcept -> void;
+
+  public: t() = default;
+  public: t(t const&) = delete; /* No 'that' constructor, suppress copy */
+  public: auto operator=(t const&) -> void = delete;
+#line 3 "pure2-bugfix-for-ufcs-noexcept.cpp2"
+};
+auto main() -> int;
+
+
+//=== Cpp2 function definitions =================================================
+
+
+#line 2 "pure2-bugfix-for-ufcs-noexcept.cpp2"
+  auto t::swap(t const& that) noexcept -> void{}
+
+auto main() -> int{static_assert(noexcept(CPP2_UFCS(&,,(swap),(t()),(,), t()))); }
+

regression-tests/test-results/gcc-13/pure2-bugfix-for-ufcs-noexcept.cpp.output

@@ -0,0 +1,2 @@
+pure2-bugfix-for-ufcs-noexcept.cpp2... ok (all Cpp2, passes safety checks)
+