// issue #680

fn f() -> int[] { ~[] }

fn main() { }