[libcxx] updates regular_invocable test to actually test regular_invocable

[cjdb]

Summary

The test wasn't previously testing this concept, but its base.

[• Quuxplusone]

Yipes. LGTM.

libcxx/test/std/concepts/callable/regularinvocable.compile.pass.cpp

30

These formatting changes are intended to improve consistency with invocable.compile.pass.cpp, I hope — not decrease consistency?

[cjdb]

libcxx/test/std/concepts/callable/regularinvocable.compile.pass.cpp

30

Good idea, I'll fix em up in the other one too, though it's moot due to some of your points in D96477.

libcxx/test/std/concepts/callable/invocable.compile.pass.cpp

 #include <chrono>
 #include <concepts>
 #include <memory>
 #include <random>
 #include <type_traits>
 
 #include "functions.h"
 
+// clang-format off
 template <class F, class... Args>
-requires std::invocable<F, Args...> constexpr void
-ModelsInvocable(F, Args&&...) noexcept{};
+requires std::invocable<F, Args...>
+constexpr void ModelsInvocable(F, Args&&...) noexcept{}
 
 template <class F, class... Args>
-requires(!std::invocable<F, Args...>) constexpr
-    void NotInvocable(F, Args&&...) noexcept {}
+requires(!std::invocable<F, Args...>)
+constexpr void NotInvocable(F, Args&&...) noexcept {}
+// clang-format on
 
 static_assert(!std::invocable<void>);
 static_assert(!std::invocable<void*>);
 static_assert(!std::invocable<int>);
 static_assert(!std::invocable<int&>);
 static_assert(!std::invocable<int&&>);
 
 int main(int, char**) {

libcxx/test/std/concepts/callable/regularinvocable.compile.pass.cpp

 
 #include <concepts>
 #include <memory>
 #include <random>
 #include <type_traits>
 
 #include "functions.h"
 
+// clang-format off
 template <class F, class... Args>
-requires std::invocable<F, Args...> constexpr void
-ModelsRegularInvocable(F, Args&&...) noexcept{};
+requires std::regular_invocable<F, Args...>
+constexpr void ModelsRegularInvocable(F, Args&&...) noexcept {}
 
 template <class F, class... Args>
-requires(!std::invocable<F, Args...>) constexpr
-    void NotRegularInvocable(F, Args&&...) noexcept {}
-
-static_assert(!std::invocable<void>);
-static_assert(!std::invocable<void*>);
-static_assert(!std::invocable<int>);
-static_assert(!std::invocable<int&>);
-static_assert(!std::invocable<int&&>);
+requires (!std::regular_invocable<F, Args...>)
+constexpr void NotRegularInvocable(F, Args&&...) noexcept {}
+// clang-format on
+
+static_assert(!std::regular_invocable<void>);
+static_assert(!std::regular_invocable<void*>);
+static_assert(!std::regular_invocable<int>);
+static_assert(!std::regular_invocable<int&>);
+static_assert(!std::regular_invocable<int&&>);
 
 int main(int, char**) {
   {
     using namespace RegularInvocable;
 
     ModelsRegularInvocable(F);
     NotRegularInvocable(F, 0);