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