Another hour of debug.

Current Behavior

    arr := []byte{1, 0}
    arr[0], arr[1] = arr[1], arr[0]

compiles ok. I get {0, 0}

Expected Behavior

... but want to get {0, 1}

Possible Solution

1. Do not allow such code
2. Make swap with the third var as it is done in many languages (e.g. go)

Steps to Reproduce

Code from Current Behavior

Context

nspcc-dev/neofs-contract#438

Regression

Not sure

Your Environment

github.com/nspcc-dev/neo-go v0.106.3