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