Merge 49371c5f298707209c5f947bec747558bcd955a6 into 7fabaa499dcb22fa81f8028449cb56fda7fa6aa7

where an action is provided to final action to execute at end of scope and that action throws, because final action's destructor is marked noexcept, the program will terminate. Instead, allow final action's destructor to be noexcept dependent upon whether the action throws.

docs/headers.md

@@ -816,7 +816,7 @@ explicit final_action(F&& ff) noexcept;
 Construct an object with the action to invoke in the destructor.
 
 ```cpp
-~final_action() noexcept;
+~final_action() noexcept(std::is_nothrow_invocable_v<F>);
 ```
 
 The destructor will call the action that was passed in the constructor.

include/gsl/util

@@ -103,7 +103,7 @@ public:
     explicit final_action(const F& ff) noexcept : f{ff} { }
     explicit final_action(F&& ff) noexcept : f{std::move(ff)} { }
 
-    ~final_action() noexcept { if (invoke) f(); }
+    ~final_action() noexcept(std::is_nothrow_invocable_v<F>) { if (invoke) f(); }
 
     final_action(final_action&& other) noexcept
         : f(std::move(other.f)), invoke(std::exchange(other.invoke, false))