1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
fn for_trait<F>() where for<'a> F: Fn(&'a str) { } fn for_ref<F>() where for<'a> &'a F: Debug { } fn for_parens<F>() where for<'a> (&'a F): Fn(&'a str) { } fn for_slice<F>() where for<'a> [&'a F]: Eq { } fn for_qpath<T>(_t: &T) where for<'a> <&'a T as Baz>::Foo: Iterator { }