protocol Foo { associatedtype X: Bar where Baz: X var x: X { get set } }

3:14 PM

うん、で、省略したときは Index が contravariant position で Never になっちゃうのでいいんじゃない？ってこと。