dose the array_view's destructor automatically calls synchronize()?

[smithakihide]

hellow. when I used array_view and change its contents with CPU, it seems not to be synchronized if I did not call the method synchronize() explicitly. in the specification of C++ AMP, it is defined the array_view's destructor synchronizes its changes automatically when it called.

I would like you to check this behavior.