Rustの型推論がどこまで強力なのか試してみた - Qiita

fn main() { let a: i64 = 1; let b: i32 = 1; println!("{}", a == b) // error }