> The language shouldn't allow it in the first place. Its a symptom or not balancing power with complexity and shows up elsewhere in Scala.
To me it rather seems you have not used some of Scala's feature which are not really usable without return type inference. E.g. typelevel computations where the return type depends on the inputs.
Of course rusts typesystem (while maybe turing complete) is vastly less powerful than Scala's, so it might not have the need for it.
To me it rather seems you have not used some of Scala's feature which are not really usable without return type inference. E.g. typelevel computations where the return type depends on the inputs.
Of course rusts typesystem (while maybe turing complete) is vastly less powerful than Scala's, so it might not have the need for it.