Rust: Implement type inference for associated types for concrete types

Rust: Implement type inference for associated types for concrete types #9996