Type Inference in Rust by Pascal Precht