protocol Foo { associatedtupe X: Bar var x: X { get set } } var foo: any Foo = ... let x = foo.x これなら x は any Bar でいける。