// Regression test for issue #1448 and #1386
fn foo(a: u32) -> u32 { a }
fn main() {
println!("{}", foo(10i32)); //~ ERROR mismatched types
}