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

error: aborting due to previous error

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