30 lines
599 B
Rust
30 lines
599 B
Rust
#![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
|
|
}
|
|
};
|
|
}
|
|
}
|