Merge pull request #11472 from moiseev/public-protocols-4

[swift-4.0-branch][overlay] Public extensions on external protocol are not in fact public