error: unsatisfied lifetime constraints
  --> $DIR/issue-50716.rs:25:14
   |
LL | fn foo<'a, T: 'static>(s: Box<<&'a T as A>::X>)
   |        -- lifetime `'a` defined here
...
LL |     let _x = *s; //~ ERROR
   |              ^^ proving this value is `Sized` requires that `'a` must outlive `'static`

error: aborting due to previous error