By this definition Rust is also not memory safe since you can use unsafe to free... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sirwhinesalot on June 16, 2023 \| parent \| context \| favorite \| on: Memory safety without borrow checking, reference c... By this definition Rust is also not memory safe since you can use unsafe to free a pointer. You normally don't have access to the generation so you can't forge it without unsafe code.

pkulak on June 16, 2023 [–]

But Rust doesn’t claim to be safe if you use unsafe blocks. It’s in the name.

sirwhinesalot on June 16, 2023 | [–]

There's no way in Vale to get the generation count of a generational reference without unsafe code, so I really don't see the difference.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact