S-IaF

Sapphire - Imagine a Framework•5mo ago•

11 replies

Merovinger

Result/Option infer any type when map.

I've been using the Result lib for some time, and its api it's really great, but the type inference has become a bit difficult when mapping over Result/option objects.

I've noticed that the any type is spreading because the

Err<E, T = any>

Err<E, T = any>

and in the map definition don't pass the

OutputValue

OutputValue

to the

Err

Err

type. Is there a reason for that? If I made this change, I would get the correct type inference.