src/test/compile-fail/liveness-missing-ret2.rs


1
2
3
4
5
6
7
8
9

// error-pattern: not all control paths return a value

fn f() -> int {
    // Make sure typestate doesn't interpret this alt expression
    // as the function result
    alt check true { true { } };
}

fn main() { }