Part of issue 2486 raised the question of whether static_cast should be permitted to cast a noexcept(false) function type to a noexcept function type. Presumably that would also involve changing 7.6.1.3 [expr.call] paragraph 6 to allow a call through the converted value, with undefined behavior resulting only if the called function actually exits via an exception.

CWG felt these questions should be addressed by EWG, so they were spun off into a separate issue.