Rust: Generalize certain type inference logic

Rust: Generalize certain type inference logic #7680