`moved` ブロックを使用してリソースを移動させる際、移動先のリソース定義(resourceブロック)は必要か。

movedブロックはあくまでStateの移行を指示するものであり、移行先となる新しいアドレスのresourceブロックがコード内に存在している必要がある。