leo/tests/compiler/circuits/const_self_variable.leo
2021-05-12 20:47:03 +03:00

20 lines
274 B
Plaintext

/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Foo {
a: u8;
function use_a(const self) -> u8 {
return self.a + 1;
}
}
function main(y: bool) -> bool {
let f = Foo { a: 0u8 };
return 1u8 == f.use_a() == true;
}