queejjd

4 ms·

1. 1.▲
   by queejjd 10mo ago

   > There can be soundness bug inside your abstraction, but it will be a massively smaller surface for auditing and expert required to write such abstraction. If all of the Vec has to be "audited", or checked and reviewed, includ
2. 2.▲
   by queejjd 10mo ago

   What features do you like the most in Rust? Are pattern matching and enums some of them?
3. 3.▲
   by queejjd 10mo ago

   If a logic bug inside Vec and outside any unsafe blocks inside Vec happens, and that logic bug violates any invariants and requirements of the unsafe blocks, that can cause memory unsafety.
4. 4.▲
   by queejjd 10mo ago

   Two questions: Why was the fix to this unsafe memory safety bug [0] only changes to code outside of unsafe Rust blocks?[1][2] Why does the Rustonomicon[3] say the following? > This code is 100% Safe Rust but it is also completely unsoun