The * operator could be defined to use a deepcopy operation, but isn’t, presumably for efficiency reasons. This has little to do with order of evaluation.

Alternatively, the issue is that Python does not distinguish between value and reference types.