//@ run-pass
//@ pretty-expanded FIXME #23616
fn f(_: &[isize]) {}
pub fn main() {
let v = [ 1, 2, 3 ];
f(&v);
}