koher

move が本質でないなら、先に __owned や __consuming の Proposal をやった方が良いのでは・・・。それとも、その部分はまだ議論したいから、とりあえず一番のユースケースとして move を先に入れちゃおうってことなのかな。裏側はともかく、 move の挙動自体は変わらないから。

そうそう。オーナーシップが入ってないのに一足とびでmoveだけ出てきたから、驚いた。