I am inclined to doubt any praise for rust because of its strong association with the world's largest advertising conglomerate. If codebases can be too large to reason about, might that not also be true of Rust's codebase?