2011-09-13 08:50:03 -05:00
|
|
|
// error-pattern: not all control paths return a value
|
2011-05-31 14:24:18 -05:00
|
|
|
|
|
|
|
fn f() -> int {
|
2011-07-27 07:19:39 -05:00
|
|
|
// Make sure typestate doesn't interpret this alt expression
|
|
|
|
// as the function result
|
|
|
|
alt true { true { } }
|
2011-05-31 14:24:18 -05:00
|
|
|
}
|
2011-07-27 07:19:39 -05:00
|
|
|
|
2011-08-19 17:16:48 -05:00
|
|
|
fn main() { }
|