News for hackers. Stuff that matters.

A comment on Revoking certain certificates on March 4. Parent comment

Re:Revoking certain certificates on March 4 by chc on Tuesday March 03, 2020 @12:53PM (#22476910)
How do you figure this is a business logic bug? It looks like a pretty clear-cut implementation bug to me. Rust would 100% have caught this bug, and in fact I'm pretty sure it would have caught the bug at least two different ways:

1. The reference outlives the original value.

2. You can't have multiple mutable references at the same time.

[ Parent | on HN ]
Re:Revoking certain certificates on March 4 by cesarb on Tuesday March 03, 2020 @02:12PM (#22477745)
> 2. You can't have multiple mutable references at the same time.

If I understood the issue correctly, only one of the references would be a mutable one, so the way Rust could have caught the bug would instead be the related rule: "you can't have an immutable reference and a mutable reference at the same time".

[ Parent | on HN ]