// run-pass

#![allow(dead_code)]
// issue #680


// pretty-expanded FIXME #23616

fn f() -> Vec<isize> { Vec::new() }

pub fn main() { }