MMMh I wonder if this code is correct in case of ``a[:] = b``. If you remove the last dimension of a written slice, you're no longer copying data, but changing the identifier <> value binding.