tests/ui/never/never-type-method-call-15207.rs

//! Regression test for https://github.com/rust-lang/rust/issues/15207

fn main() {
    loop {
        break.push(1) //~ ERROR no method named `push` found for type `!`
        ;
    }
}