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