So both of these are equivalent and should work correctly: protocol P : SomeClass {} protocol P where Self : SomeClass {}

4:25 AM

お。良かった。