It's current design. So there is no solution.
Additionally, even if it is possible, breaking existing `nothrow invariant {}` is also bad idea.