見ただけでは理解が難しいのでよくわかってないけど、実行時に変わりうるコードの所有権の移動がsubscriptという記法で表現される、みたいなイメージなのかな