fn main() {
    assert!(<[_]>::eq(&[1, 2, 3], &vec![1, 2, 3] as &[_]));

    // Compare without explicit type coersion causes a compile error
    // assert!(<[_]>::eq(&[1, 2, 3], &vec![1, 2, 3]));
}