1 2 3 4 5 6 7 8
// error-pattern: Unsatisfied precondition constraint (for example, init(i fn main() { let i: int; log false || { i = 5; true }; log i; }