`mismatched types`: data type not inferred by compiler

[kzhui125]

fn main() {
    let arr = vec![1, 2, 3];
    let x1 = (&arr[0..0], &arr[0..0]);
    assert_eq!(x1, (&[], &[]));
}

compiler error:

mismatched types
expected tuple `(&[{integer}], &[{integer}])`
   found tuple `(&[_; 0], &[_; 0])`