list.rotate_eq_iff source