1 #![feature(never_type)]
4 // The `if false` expressions are simply to
5 // make sure we don't avoid checking everything
6 // simply because a few expressions are unreachable.
9 let _: ! = { //~ ERROR mismatched types
10 'a: while break 'a {};
16 while false { //~ ERROR mismatched types
24 while false { //~ ERROR mismatched types