やっぱり　x　の型は空の some 　じゃないですかね？

3:00 PM

var foo に対しての some。

3:00 PM

get foo.x と set foo.x は、同じ型　同じだけど具体的に見えないから some。

3:00 PM

var x に再代入があったら、そこから仕切り直し。