While I would still use underscore-prefixed protocol requirements for what you're talking about, true satisfaction of requirements by private members is definitely a missing feature. I think this might be the most involved relevant discussion: Pitch: Protocols with private fields .
2 Likes