I have a future direction discussing this. The tl;dr is that I don't think we can because allowing a protocol name on the left side of :: means we'd have to do an unqualified lookup to resolve that identifier, which reintroduces the shadowing and ambiguity we're trying to avoid with this feature. Probably best to use something that's syntactically distinguishable to handle protocols.
6 Likes