Why is Result.map implemented as non-inlinable method?

No reason, other than I didn’t think about it and wasn’t told to do so. At this point I’m not sure it would be possible due to ABI stability.