error[E0038]: the trait `Foo` cannot be made into an object
  --> $DIR/object-safety-no-static.rs:8:1
   |
LL |     fn foo();
   |        --- associated function `foo` has no `self` parameter
...
LL | fn foo_implicit<T:Foo+'static>(b: Box<T>) -> Box<dyn Foo + 'static> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` cannot be made into an object

error: aborting due to previous error

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