Improve type inference of Result<T, E>

Improve type inference of Result<T, E> #4800