blob: 6064e6ab00235f368f4003c2217c293a04c1c481 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#![feature(never_type)]
fn main() {
// The `if false` expressions are simply to
// make sure we don't avoid checking everything
// simply because a few expressions are unreachable.
if false {
let _: ! = { //~ ERROR mismatched types
'a: while break 'a {};
};
}
if false {
let _: ! = {
while false { //~ ERROR mismatched types
break
}
};
}
if false {
let _: ! = {
while false { //~ ERROR mismatched types
return
}
};
}
}
|
