test: add unit tests for fixed UFCS corner cases

Author: JohelEGP

regression-tests/mixed-bugfix-for-ufcs-non-local.cpp2

@@ -0,0 +1,35 @@
+template<bool> struct t { };
+constexpr bool f(const t<true>&) { return true; }
+constexpr t<true> o{};
+
+// Variables.
+
+// _: <V: t<o.f()>> bool = (); // Blocked on #389, [GCC109781][].
+
+// _: t<o.f()> = (); // Blocked on Clang 12 (lambda in unevaluated context).
+
+_: bool = o.f();
+
+// Functions.
+
+// g: <V: t<o.f()>> () = { } // Blocked on [GCC109781][].
+
+// g: (x: t<o.f()>) = { } // Blocked on Clang 12 (lambda in unevaluated context).
+
+g: () [[pre: o.f()]] = { }
+
+// h: () -> t<o.f()> = o; // Blocked on Clang 12 (lambda in unevaluated context).
+
+// Aliases.
+
+// a: <V: t<o.f()>> type == bool; // Blocked on [GCC109781][].
+
+// b: <V: t<o.f()>> _ == false; // Blocked on [GCC109781][].
+
+// c: type == t<o.f()>; // Blocked on Clang 12 (lambda in unevaluated context).
+
+// d: _ == t<o.f()>(); // Blocked on Clang 12 (lambda in unevaluated context).
+
+main: () = { }
+
+// [GCC109781]: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109781

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

@@ -0,0 +1,46 @@
+print_res: (x: i32) -> i32 = {
+  std::cout << x;
+  if (x == 9) { std::cout << '\n'; }
+  return x;
+}
+t: @struct type = {
+  f: (inout this) -> i32 = print_res(0);
+  f: (inout this, x) -> i32 = print_res(1);
+  f: <T> (inout this) -> i32 = print_res(2);
+  f: <T> (inout this, x) -> i32 = print_res(3);
+  f: <T, U> (inout this, x, y) -> i32 = print_res(4);
+}
+f: (o: t) -> i32 = print_res(5);
+f: (o: t, x) -> i32 = print_res(6);
+f: <T> (o: t) -> i32 = print_res(7);
+f: <T> (o: t, x) -> i32 = print_res(8);
+f: <T, U> (o: t, x, y) -> i32 = print_res(9);
+m: t       = ();
+n: const t = ();
+a: <T, U> _ == n;
+_: i32   = m.f();
+_: i32   = m.f(0);
+_: i32   = m.f<t>();
+_: i32   = m.f<t>(0);
+_: i32   = m.f<t, t>(0, 0);
+_: i32   = n.f();
+_: i32   = n.f(0);
+_: i32   = n.f<t>();
+_: i32   = n.f<t>(0);
+_: i32   = n.f<t, t>(0, 0);
+_: i32   = a<t, t>.f<t, t>(0, 0);
+main: () = {
+  _: i32 = m.f();
+  _: i32 = m.f(0);
+  _: i32 = m.f<t>();
+  _: i32 = m.f<t>(0);
+  _: i32 = m.f<t, t>(0, 0);
+  _: i32 = n.f();
+  _: i32 = n.f(0);
+  _: i32 = n.f<t>();
+  _: i32 = n.f<t>(0);
+  _: i32 = n.f<t, t>(0, 0);
+  _: i32 = a<t, t>.f<t, t>(0, 0);
+
+  _ = :(a, f) = { _ = a.f(a).f(); };
+}

regression-tests/pure2-bugfix-for-ufcs-name-lookup.cpp2

@@ -0,0 +1,6 @@
+t: type = {
+  f: (this) -> i32 = 0;
+}
+main: () = {
+  f := t().f();
+}

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

@@ -0,0 +1,6 @@
+t: type = {
+  // swap: (inout this, that) = { } // Blocked on #508.
+}
+main: () = {
+  // static_assert(noexcept(t().swap(t()))); // Blocked on Clang 12 (lambda in unevaluated context).
+}

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

@@ -0,0 +1,5 @@
+// f: <T> () -> std::type_identity_t<decltype(T().a())> = { } // Blocked on Clang 12 (lambda in unevaluated context).
+B: type                                              = { }
+main: ()                                             = {
+  // static_assert(!std::invocable<decltype(:<T> (x: T) -> std::void_t<decltype(f<T>())> = {}), B>); // Blocked on Clang 12 (lambda in unevaluated context).
+}

regression-tests/test-results/clang-18/mixed-bugfix-for-ufcs-non-local.cpp.execution

@@ -0,0 +1,4 @@
+0123456789
+9
+0123456789
+9