1 2 3 4 5 6 7 8 9 10 11 12 13 14
// check-pass #![feature(type_alias_impl_trait)] type X = impl Clone; fn bar<F: Fn(&i32) + Clone>(f: F) -> F { f } fn foo() -> X { bar(|_| ()) } fn main() {}