1 error: lifetime may not live long enough
2 --> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:9:5
4 LL | fn b<'a, 'b, 'c>(x: &mut &'a isize, y: &mut &'b isize, z: &mut &'c 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/region-multiple-lifetime-bounds-on-fns-where-clause.rs:16:5
17 LL | fn c<'a,'b, 'c>(x: &mut &'a isize, y: &mut &'b isize, z: &mut &'c 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/region-multiple-lifetime-bounds-on-fns-where-clause.rs:22:12
30 LL | let _: fn(&mut &isize, &mut &isize, &mut &isize) = a;
31 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
33 error: higher-ranked subtype error
34 --> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:22:12
36 LL | let _: fn(&mut &isize, &mut &isize, &mut &isize) = a;
37 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
39 error: higher-ranked subtype error
40 --> $DIR/region-multiple-lifetime-bounds-on-fns-where-clause.rs:22:12
42 LL | let _: fn(&mut &isize, &mut &isize, &mut &isize) = a;
43 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
45 error: aborting due to 5 previous errors