The following test case fails:

fn main() -> () {
let int a = 10;
log a; // If this line is commented out, the test passes.
check (a * (a - 1) == 90);
}