pub fn next_diff1_2<T: Eq, U: Eq>(x: &[(T, U)], i: i32) -> i32