#![feature(lang_items, overloaded_calls, unboxed_closures)]
-fn c<F:|: int, int| -> int>(f: F) -> int {
+fn c<F:FnOnce(int, int) -> int>(f: F) -> int {
f(5, 6)
}
fn main() {
let z: int = 7;
assert_eq!(c(|&: x: int, y| x + y + z), 10);
- //~^ ERROR failed to find an implementation
+ //~^ ERROR not implemented
}