let x = str.parse()?; someFunc(x);
With global type inference, the whole program is inferred for example.