Borrowchecker and lifetimes automatize a big chunk of verifying all the states my code can yield. Rust has many zero cost abstractions that make writing things

Borrowchecker and lifetimes automatize a big chunk of verifying all the states my code can yield. Rust has many zero cost abstractions that make writing things easier. It’s super high level at the speed class of C - sometimes even faster given that libraries for common tasks are well programmed. With the high level abstractions the compiler may probably reason and optimize better?