std::experimental::scope_fail<EF>::~scope_fail
From cppreference.com
 
 
 < cpp | experimental | scope fail 
 
 
 C++ 
 Feature test macros (C++20)
 Concepts library (C++20)
 Metaprogramming library (C++11)
 Ranges library (C++20)
 Filesystem library (C++17)
 Concurrency support library (C++11)
 Execution control library (C++26)
Experimental 
 Filesystem library (filesystem TS)
 Library fundamentals (library fundamentals TS)
 Library fundamentals 2 (library fundamentals TS v2)
 Library fundamentals 3 (library fundamentals TS v3)
 Extensions for parallelism (parallelism TS)
 Extensions for parallelism 2 (parallelism TS v2)
 Extensions for concurrency (concurrency TS)
 Extensions for concurrency 2 (concurrency TS v2)
 Concepts (concepts TS)
 Ranges (ranges TS)
 Reflection (reflection TS)
 Mathematical special functions (special functions TR)
std::experimental::scope_fail 
 
 Member functions
scope_fail::~scope_fail
 Modifiers
~scope_fail() noexcept;
 
 (library fundamentals TS v3) 
Calls the exit function if the result of std::uncaught_exceptions () is greater than the counter of uncaught exceptions (typically on stack unwinding) and the scope_fail is active, then destroys the stored EF (if it is a function object) and any other non-static data members.
Notes
Whether the destructor is called on stack unwinding can be detected by the comparison of the result of std::uncaught_exceptions () and the counter of uncaught exceptions in the scope_fail.