Fix callable

Author: miscco

tests/std/tests/P2300R2_executors_tag_invoke/test.compile.pass.cpp

@@ -103,6 +103,26 @@ namespace callable {
     static_assert(_Callable<decltype([](int) {}), long>);
     static_assert(_Callable<decltype([](conversion_target) {}), with_conversion>);
     static_assert(!_Callable<decltype([](conversion_target) {}), with_explicit_conversion>);
+
+    // Check nothrow
+    static_assert(!_Nothrow_callable<void (*)()>);
+    static_assert(!_Nothrow_callable<void (*)(), int>);
+    static_assert(!_Nothrow_callable<void (*)(int), int>);
+    static_assert(!_Nothrow_callable<void (*)(int), char>);
+    static_assert(!_Nothrow_callable<void (*)(int), short>);
+    static_assert(!_Nothrow_callable<void (*)(int), long>);
+    static_assert(!_Nothrow_callable<void (*)(conversion_target), with_conversion>);
+    static_assert(!_Nothrow_callable<void (*)(conversion_target), with_explicit_conversion>);
+
+    static_assert(_Nothrow_callable<decltype([]() noexcept {})>);
+    static_assert(!_Nothrow_callable<decltype([]() noexcept {}), int>);
+    static_assert(_Nothrow_callable<decltype([](int) noexcept {}), int>);
+    static_assert(_Nothrow_callable<decltype([](int) noexcept {}), char>);
+    static_assert(_Nothrow_callable<decltype([](int) noexcept {}), short>);
+    static_assert(_Nothrow_callable<decltype([](int) noexcept {}), long>);
+    static_assert(_Nothrow_callable<decltype([](int) noexcept {}), long>);
+    static_assert(_Nothrow_callable<decltype([](conversion_target) noexcept {}), with_conversion>);
+    static_assert(!_Nothrow_callable<decltype([](conversion_target) noexcept {}), with_explicit_conversion>);
 } // namespace callable
 
 // Matching declarations