error[E0277]: the trait bound `Bar: Default` is not satisfied
 --> $DIR/not-impl.rs:7:8
  |
7 |     a: Bar,
  |        ^^^ the trait `Default` is not implemented for `Bar`
  |
  = note: required because of the requirements on the impl of `DefaultBoxed` for `Bar`