src/test/ui/issues/issue-14091.rs

fn main(){
    assert!(1,1);
    //~^ ERROR mismatched types
}