src/test/ui/consts/issue-62045.rs

// check-pass

fn main() {
    assert_eq!(&mut [0; 1][..], &mut []);
}