// error-pattern:fail

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