Is Mem Forget Unsafe?

The idea was, well, if it blocks when it gets dropped, then we can guarantee that A won't in the case of a spawns B. And this breaks once you can leak values, right? Because you just take the join guard you get back from scoped and you just mem forget it and it vanishes. The next thing that came up is rust ownership for raw file descriptors and handles also known as IO safety. This is something that implored introduced two new types to the standard library: borrowed FD type and owned FD type on Unix.

Transcript

Play full episode