src/test/run-fail/assert-macro-explicit.rs

// error-pattern:panicked at 'assertion failed: false'

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