I agree that these techniques help you write better code, but enforcing something is better than not. Obviously it’s a spectrum, so I wouldn’t say doing that is bad, but it does not really mean Rust is irrelevant.
And Rust brings more to the table than just the borrow checker.
And Rust brings more to the table than just the borrow checker.