Better exception inference for @safe and @impure_safe

[sobolevn]

I got this idea when reviewing your PR :)

CC @RomanMIzulin
Refs #1870

[RomanMIzulin]

Honestly, I do not get the idea of having ResultE when there is a Result[ValueType,ErrorType] with ErrorType with second arg. Just for typing a block of code when we are sure there is an error I guess. But if code is not deep just Result is okey?

[RomanMIzulin]

Is the goal of this MR to proxy specific Exception rather than just Exception?
@sobolevn

[sobolevn]

Honestly, I do not get the idea of having ResultE when there is a Result[ValueType,ErrorType] with ErrorType with second arg

Back in the day we didn't have typevar defaults, so I had to add one more type alias for the common case. Right now we can deprecate *E aliases and use TypeVar(..., default=Exception) for ResultLike

[RomanMIzulin]

and update doc like here https://returns.readthedocs.io/en/latest/pages/result.html#aliases
@sobolevn maybe issue for that?

[sobolevn]

@RomanMIzulin yes, sure, go ahead!