src/test/run-fail/unwind-assert.rs

// error-pattern:fail

fn main() {
    let a = @0;
    assert false;
}