Почему Rust требует аннотации владения, а не выводит его?

Если бы это было вообще возможно, я считаю, что это был бы ужасный пользовательский опыт, потому что:

• если компилятор не может определить право собственности на объект, ошибку едва ли можно понять (например, метод проб и ошибок в шаблонах C++ ссылка);
• политику владения, кажется, нелегко понять (хотя это одно мнение), и попытка понять, какая семантика была выбрана компилятором, может привести к неожиданному поведению (ссылка на странные преобразования типов Javascript);
• может быть внесено больше ошибок при рефакторинге (подразумевается пунктом выше);
• полный программный вывод определенно занял бы огромное количество времени, если бы это была решаемая проблема.

Однако, если вы боретесь с отсутствием полиморфизма, обычно можно параметризовать метод с типом владения, что можно рассматривать как несколько явную альтернативу выводу, например:

fn print_str(s: impl AsRef<str>) {
    println!("{}", s.as_ref());
}

fn main() {
    print_str("borrowed");
    print_str("owned".to_owned());
}