The Rust<->Typing axis mentioned as a blindspot definitely resonates.

As a novice in the language, the amount of type-inference that good Rust incorporates can make things opaque, absent rust-analyzer.