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