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); }