//@ run-pass
#![allow(unused_variables)]
//@ pretty-expanded FIXME #23616
fn foo<T, F: FnOnce(T) -> T>(f: F) {}
fn id<'a>(input: &'a u8) -> &'a u8 { input }
fn main() {
foo(id);
}