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