//@ run-fail
//@ error-pattern:assertion failed: false
//@ needs-subprocess

fn main() {
    assert!(false);
}