blob: 1cd512cfc41beb5fb0848b1ca6801f8f40504f05 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// Issue #945
// error-pattern:non-exhaustive match failure
fn test_box() {
@0;
}
fn test_str() {
let res = alt check false { true { "happy" } };
assert res == "happy";
}
fn main() {
test_box();
test_str();
}
|