protocol Foo { associatedtupe X var x: X { get set } }

2:57 PM

var foo: any Foo = ... let x = foo.x foo.x = ...

2:57 PM

↑で考えると、コンパイル通るなら x の型は Any で、 set のときは Never じゃないといけないよね？