// issue #680

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

fn main() { }