> And it'll muddy the purpose of unsafe by adding in a use that has nothing to do with memory safety. Then we need more safety semantics around panic behavior.

> And it'll muddy the purpose of unsafe by adding in a use that has nothing to do with memory safety. Then we need more safety semantics around panic behavior. A panic label or annotation that infects every call. Moreover, I want a way of statically guaranteeing none of my dependencies do this.