Skip to content

Commit

Permalink
rebase update
Browse files Browse the repository at this point in the history
  • Loading branch information
vineethk committed Apr 10, 2024
1 parent ed00313 commit 2207559
Showing 1 changed file with 12 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -21,11 +21,20 @@ public fun m::test(): u8 {
var $t0: u8
var $t1: u8
var $t2: u8
var $t3: u8
0: $t1 := 40
1: $t2 := move($t1)
2: $t0 := infer($t2)
3: return $t0
2: $t3 := infer($t1)
3: $t0 := infer($t2)
4: return $t0
}


============ bytecode verification succeeded ========
Diagnostics:
error: cannot move local `x` since it is still in use
┌─ tests/bytecode-generator/moved_var_not_simplified3.move:4:17
4 │ let y = move x;
│ ^^^^^^ attempted to move here
5 │ let _ = x;
│ - used here

0 comments on commit 2207559

Please sign in to comment.