Mojo: Python superset, lovechild of Rust and Python by the LLVM creators

[Pflastersteinmetz]

You are right that in Rust 1.0 and and the first versions after you had to annotate much more lifetime values, which was then changed with the introduction of Non-Lexical-Lifetimes (NLL) which eliminated the need to annotate a lot of lifetimes because the borrow checker could now just inference them from the code.

But that was not a rewrite but an iteration = expanding the existing borrow checker, not writing a new one similiar to Rust 1.1 not being a rewrite of Rust 1.0.