[0x457]

I've specifically said leaking memory? Then again, destructor that didn't run would be an application level error not "safety in rust" error.

[loeg]

You were responding to my comment, which had scope broader than just leaking memory. So, to suggest it is only about leaking memory is not really responsive.