The way I understand it, it is a bug in C implementation of free() that causes it to do something weird when you call it twice on the same memory. Maybe In Rust you can never call free twice, so you would never come across this bug. But, also Rust probably doesn't have the same bug.
My point is it seems it is a bug in the underlying implementation of free(), not to be caught by the compiler, and can't Rust have such errors no matter its superior design?