Type Inference in Rust and C++ | Dark Hacker News