1 2 3 4 5 6 7 8 9 10
// error-pattern: precondition constraint fn f() -> int { let int x; ret x; } fn main() { f(); }