back_copy handles aliasing, pass test_constant_scalar