I no longer believe it's possible to write code properly in C (not that it's easy in other languages). Which for a hypervisor probably means waiting for Rust.
This bug has nothing to do with the properties of C. Rust wouldn't have helped.
What makes you think Rust would have helped in this specific case?