Rust: Paths to associated types resolve to the associated type if implementation is unclear

Rust: Paths to associated types resolve to the associated type if implementation is unclear #7238