inferring, but then attempting to convert integer types

src/main.rs

@@ -4,6 +4,7 @@ fn main() {
 
     takes_u32(x);
     takes_i8(y);
+    takes_u32(y.try_into().unwrap());
 }
 
 fn takes_u32(x: u32) -> () {