`mismatched types`: data type not inferred by compiler

```rs
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])`
```