error: overflow evaluating associated type `Carrier<'b>::Focus<i32>`
  --> $DIR/issue-111879-0.rs:11:25
   |
LL |     pub type Focus<T> = &'a mut User;
   |                         ^^^^^^^^^^^^

error: aborting due to previous error