A loophole in the initialization process?

No, I think we're good. I found the fix (by Slava) and it already has some tests. Protocols with superclass constraints - part 3 by slavapestov · Pull Request #17816 · apple/swift · GitHub

3 Likes