src/test/ui/tail-typeck.rs

// error-pattern: mismatched types

fn f() -> isize { return g(); }

fn g() -> usize { return 0; }

fn main() { let y = f(); }