не совсем понимаю логику языка

почему такой код возможен

fn foo<T>() -> T 
    where T: std::default::Default {
    T::default()
}

fn main() {
    let x: i8 = foo();
    let x: i32 = foo();
}

а такой — нет

fn foo() -> i8 { 0 }
fn foo() -> i32 { 0 } 

fn main() {
    let x: i8 = foo();
    let x: i32 = foo();
}