Rust: Implement type inference for associated types for concrete types

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