This would need a bunch of caveats: when data is pinned, it is unsound to not call the destructors (pinning wasn't a thing yet when the nomicon got written); also code can rely on the destructors in its own stack frame to be executed if the stack frame ever gets popped (i.e., longjmp-ing over the stack frame is not okay).
This would need a bunch of caveats: when data is pinned, it is unsound to not call the destructors (pinning wasn't a thing yet when the nomicon got written); also code can rely on the destructors in its own stack frame to be executed if the stack frame ever gets popped (i.e., longjmp-ing over the stack frame is not okay).