// issue #680

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

fn main() { }