Memory-write-overlap bug

[hal3e]

Related Component

compiler

Problem

In the simple contract example blow, line 11 leads to a MemoryWriteOverlap revert.

contract;

abi MyContract {
    fn test();
}

impl MyContract for Contract {
    fn test() {
        let mut latest_random_seed = 1;
        // Error line 11. Assigning a different value works as expected
        latest_random_seed = latest_random_seed;
    }
}

as written in the comment if we assign a value example: latest_random_seed = 42; the contract method will not panic.

Steps

1. Clone https://github.com/Braqzen/memory-write-overlap-bug
2. In the repo forc build
3. Then cargo test

Possible Solution(s)

No response

Notes

No response

Installed components

forc - 0.62.0