How to check whether a key path is writable?

Thanks for the replies!

I agree that this makes sense, after some thought.


I actually don't have a well-scoped use case - I'm asking this question after a quick chat with a colleague.

The use case is "derived conformances" for "partially codable" types: ideas are raw and the use case isn't tied to key paths, so I don't think it's productive to discuss it in detail.