3 ms·
It bubbles up as far as an `unsafe { ... }` block, but no higher.
by Hemospectrum 12y ago
It bubbles up as far as an `unsafe { ... }` block, but no higher.
- vutekst 12y agoYes, presuming that the author of the unsafe code in question has manually verified the effective safety in all relevant scenarios. `unsafe` is an assertion to the Rust compiler that you know what you're doing, and you will preserve its guarantees as far as external observers are concerned. I might point out to the grandparent post that even the basic vector collection in Rust is full of unsafe {} blocks.
- rdtsc 12y agoI understand now, thanks for explaining. It was implied in the article too, by analogy with java's exceptions, I just forgot how that works too.