diff --git a/compiler/tests/mutability/let_mut_nested.leo b/compiler/tests/mutability/let_mut_nested.leo new file mode 100644 index 0000000000..27121f6e48 --- /dev/null +++ b/compiler/tests/mutability/let_mut_nested.leo @@ -0,0 +1,5 @@ +function main () { + let mut x = 2u8; + let mut y = x; + let z = y / 2u8; +} \ No newline at end of file diff --git a/compiler/tests/mutability/mod.rs b/compiler/tests/mutability/mod.rs index 8442357044..585e8ade32 100644 --- a/compiler/tests/mutability/mod.rs +++ b/compiler/tests/mutability/mod.rs @@ -33,6 +33,14 @@ fn test_let_mut() { assert_satisfied(program); } +#[test] +fn test_let_mut_nested() { + let bytes = include_bytes!("let_mut_nested.leo"); + let program = parse_program(bytes).unwrap(); + + assert_satisfied(program); +} + #[test] fn test_const_fail() { let bytes = include_bytes!("const.leo");