// error-pattern:1 == 2
fn main() {
    assert!(1 == 2);
}