Pitch: Protocols with private fields

[Stan_Smida]

Whoops it looks like I missed these...

@dabrahams

...imagine we wanted to expose Wrapper and X publicly...

public struct X: fileprivate Wrapper,
  Comparable, CustomStringConvertible
{
  internal var value: SomeType
}

(where Wrapper was internal in a previous figure)

and

@Douglas_Gregor

It's more in line with, e.g., the synthesized member initializers of structs being internal .

---

Initially, I understood that protocol requirements must be fulfilled with protocol's access level (like today), and the scoped conformance just limits visibility of that conformance. Which fortunately seems (based on quotes above) to be incorrect.