blob: 7aa5682b923a67318a00403b6480741400d85b9f [file] [log] [blame]
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
}
};
}
}