1 error: lifetime may not live long enough
2 --> $DIR/regions-lifetime-bounds-on-fns.rs:8:5
4 LL | fn b<'a, 'b>(x: &mut &'a isize, y: &mut &'b isize) {
5 | -- -- lifetime `'b` defined here
7 | lifetime `'a` defined here
8 LL | // Illegal now because there is no `'b:'a` declaration.
10 | ^^^^^^^ assignment requires that `'b` must outlive `'a`
12 = help: consider adding the following bound: `'b: 'a`
14 error: lifetime may not live long enough
15 --> $DIR/regions-lifetime-bounds-on-fns.rs:14:5
17 LL | fn c<'a,'b>(x: &mut &'a isize, y: &mut &'b isize) {
18 | -- -- lifetime `'b` defined here
20 | lifetime `'a` defined here
23 | ^^^^^^^ argument requires that `'b` must outlive `'a`
25 = help: consider adding the following bound: `'b: 'a`
27 error: higher-ranked subtype error
28 --> $DIR/regions-lifetime-bounds-on-fns.rs:20:12
30 LL | let _: fn(&mut &isize, &mut &isize) = a;
31 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
33 error: higher-ranked subtype error
34 --> $DIR/regions-lifetime-bounds-on-fns.rs:20:12
36 LL | let _: fn(&mut &isize, &mut &isize) = a;
37 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39 error: aborting due to 4 previous errors