@chrysn Yes, poisoning isn't needed for soundness. No type should cause unsoundness because of unwinding. It's the same reason that AssertUnwindSafe is not unsafe. (The "safe" in "AssertUnwindSafe" is confusing, but it's unrelated to Rust's normal concept of memory (un)safety.)