Status check: Typed throws

[DevAndArtist (Adrian Meister)]

@Philippe_Hausler

That way a Result<String, Never> would not throw on the get(). (obviously this would be a breaking change and perhaps should be spelled as a new thing... perhaps a property value to mimic Task)

This is what this proposal tried to do before we stopped it because of missing typed throws:

Add value property to Result

Hi Swift Evolution, The shortest of pitches... Introduction This proposal introduces a throwing value property to access the Success value of a Result. Motivation SE-0310 added throwing properties, and so SE-0304 has a throwing value instead of get(). This adds a matching equivalent to Result to allow for consistent use. Proposed solution Add the following to Swift.Result: extension Result { @_alwaysEmitIntoClient public var value: Success { get throws { switch self { …