Confused by the behaviour of members in private extensions

This has been discussed previously, and Jordan Rose gives a good overview of how we got where we are in this comment.

The upshot is, currently private extension and fileprivate extension are synonymous, even though SE–0169 “should” have given them distinct meanings.