//@ run-fail
//@ error-pattern:assertion `left != right` failed
//@ error-pattern:  left: 14
//@ error-pattern: right: 14
//@ needs-subprocess

fn main() {
    assert_ne!(14, 14);
}