1 error: lifetime bounds cannot be used in this context
2 --> $DIR/higher-lifetime-bounds.rs:8:22
4 LL | f: for<'xa, 'xb: 'xa+'xa> fn(&'xa i32, &'xb i32) -> &'xa i32)
7 error: lifetime bounds cannot be used in this context
8 --> $DIR/higher-lifetime-bounds.rs:16:34
10 LL | fn bar2<'a, 'b, F: for<'xa, 'xb: 'xa> Fn(&'xa i32, &'xb i32) -> &'xa i32>(
13 error: lifetime bounds cannot be used in this context
14 --> $DIR/higher-lifetime-bounds.rs:31:28
16 LL | where F: for<'xa, 'xb: 'xa> Fn(&'xa i32, &'xb i32) -> &'xa i32
19 error: lifetime bounds cannot be used in this context
20 --> $DIR/higher-lifetime-bounds.rs:43:25
22 LL | where for<'xa, 'xb: 'xa> F: Fn(&'xa i32, &'xb i32) -> &'xa i32
25 error: lifetime bounds cannot be used in this context
26 --> $DIR/higher-lifetime-bounds.rs:51:28
28 LL | struct S1<F: for<'xa, 'xb: 'xa> Fn(&'xa i32, &'xb i32) -> &'xa i32>(F);
31 error: lifetime bounds cannot be used in this context
32 --> $DIR/higher-lifetime-bounds.rs:53:40
34 LL | struct S2<F>(F) where F: for<'xa, 'xb: 'xa> Fn(&'xa i32, &'xb i32) -> &'xa i32;
37 error: lifetime bounds cannot be used in this context
38 --> $DIR/higher-lifetime-bounds.rs:55:37
40 LL | struct S3<F>(F) where for<'xa, 'xb: 'xa> F: Fn(&'xa i32, &'xb i32) -> &'xa i32;
43 error: lifetime bounds cannot be used in this context
44 --> $DIR/higher-lifetime-bounds.rs:58:29
46 LL | struct S_fnty(for<'xa, 'xb: 'xa> fn(&'xa i32, &'xb i32) -> &'xa i32);
49 error: lifetime bounds cannot be used in this context
50 --> $DIR/higher-lifetime-bounds.rs:61:33
52 LL | type T1 = Box<dyn for<'xa, 'xb: 'xa> Fn(&'xa i32, &'xb i32) -> &'xa i32>;
55 error: lifetime bounds cannot be used in this context
56 --> $DIR/higher-lifetime-bounds.rs:65:34
58 LL | let _ : Option<for<'xa, 'xb: 'xa> fn(&'xa i32, &'xb i32) -> &'xa i32> = None;
61 error: lifetime bounds cannot be used in this context
62 --> $DIR/higher-lifetime-bounds.rs:67:42
64 LL | let _ : Option<Box<dyn for<'xa, 'xb: 'xa> Fn(&'xa i32, &'xb i32) -> &'xa i32>> = None;
67 error: aborting due to 11 previous errors