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.