1 2 3 4 5 6 7 8 9 10 11 12 13
// error-pattern::Unsatisfied precondition fn foo(int x) { log x; } fn main() { let int x; if (1 > 2) { x = 10; } foo(x); }