分解パターンをアクセス側の一連の参照またはインデクサー式に変換します。 新しい変数が各分解項目に導入されますが、以下の場合には副作用を引き起こす場合があります。
パターンにデフォルト値がある
write が使用されている
式の右辺で副作用が生じていた
式の右辺が参照ではない
これは「分解宣言に伝播」とは逆の操作である。