type(i64 != array[i32])
