Confusing error message when using `min_specialization` with `dyn Trait`

I tried this code:

#![feature(min_specialization)]
pub trait Foo {
    fn foo(&self);
}

impl<T> Foo for T {
    default fn foo(&self) {}
}

impl Foo for Box<dyn Foo> {
    fn foo(&self) {}
}

This failed to compile with

error: cannot specialize on `'static` lifetime
  --> src/lib.rs:15:1
   |
15 | impl Foo for Box<dyn Foo> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^

This seems weird since there isn't a visible lifetime anywhere. The error should explain that the 'static lifetime is implicit on dyn Foo and suggest adding a lifetime parameter.

Start by reproducing the example in src/lib.rs and examining the compiler diagnostic for the impl using Box. Trace the specialization and implicit-lifetime handling involved in that diagnostic. Done means the error explains that dyn Foo implies a 'static lifetime and suggests adding a lifetime parameter.