Yes, so for completeness, here’s how to conditionally conform MyArrayOfOne to Foobarable (leaving Array and Optional there to demonstrate – what turned out to probably be – the actual bug): protocol Fooable { func foo() } protocol Barable { func bar() } protocol Fooba...

Yeah, I agree that that example is a bit subtle and a bit of an edge case. I actually realised a slightly more convincing one: SomeConditionalSequence.Iterator will infer the appropriate bounds to make SomeConditionalSequence a Sequence, to get access to Iterator. I think it...