3 ms·
does this mean your object tree is acyclic since you can't have references ?
by moonchrome 3y ago
does this mean your object tree is acyclic since you can't have references ?
- Buttons840 3y agoVal will have statement level unsafe annotations (not even full unsafe blocks), according to the podcast linked in a nearby comment. Linked lists will be tricky or impossible to do safely, like in Rust.
- stouset 3y agoI’ll have to see about this, but I don’t really like that. Yes, you can replace a block of unsafe calls with a bunch of individually unsafe-annotated lines. But a good model of unsafe to follow is that whatever unsafety you expose within a block should be brought back within safety requirements when you exit the block. Put differently, an unsafe block should act as unit-safe and not leak unsafety. If all you get is statement-level unsafety, you have no way to indicate at what point you’ve re-upheld safety guarantees.