Yeah, I mean, I guess that leaks in general are possible, which would still let you write `forget`. You're right about that.
But the unsoundness RC bug still relies on unsafe code which was written incorrectly.
But the unsoundness RC bug still relies on unsafe code which was written incorrectly.
When the footgun goes off in unsafe code in the standard library, you get use-after-free and memory unsoundness. When the footgun goes off in safe code written by mere humans, you leak arbitrary resources.