Bugs that the Rust compiler catches for you: The revolution of compiler-enforced correctness Sylvain Kerkour 5 months ago