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 complex to reason about, might that not be true of rust's codebase?