error[E0700]: hidden type for `impl Trait` captures lifetime that does not appear in bounds
  --> $DIR/error-handling-2.rs:13:60
   |
LL | fn foo<'a: 'b, 'b, 'c>(x: &'static i32, mut y: &'a i32) -> E<'b, 'c> {
   |                                                            ^^^^^^^^^
   |
note: hidden type `*mut &'a i32` captures the lifetime `'a` as defined on the function body at 13:8
  --> $DIR/error-handling-2.rs:13:8
   |
LL | fn foo<'a: 'b, 'b, 'c>(x: &'static i32, mut y: &'a i32) -> E<'b, 'c> {
   |        ^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0700`.