tests/ui/wf/hir-wf-canonicalized.stderr

   1 error[E0277]: the trait bound `Bar<'a, T>: Foo` is not satisfied
   2   --> $DIR/hir-wf-canonicalized.rs:10:15
   3    |
   4 LL |     callback: Box<dyn Callback<dyn Callback<Bar<'a, T>>>>,
   5    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `Bar<'a, T>`
   6
   7 error[E0277]: the trait bound `(dyn Callback<Bar<'a, T>, for<'b, 'c, 'd> Output = ()> + 'static): Foo` is not satisfied
   8   --> $DIR/hir-wf-canonicalized.rs:10:15
   9    |
  10 LL |     callback: Box<dyn Callback<dyn Callback<Bar<'a, T>>>>,
  11    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `(dyn Callback<Bar<'a, T>, for<'b, 'c, 'd> Output = ()> + 'static)`
  12
  13 error[E0277]: the size for values of type `(dyn Callback<Bar<'a, T>, for<'b, 'c, 'd> Output = ()> + 'static)` cannot be known at compilation time
  14   --> $DIR/hir-wf-canonicalized.rs:10:15
  15    |
  16 LL |     callback: Box<dyn Callback<dyn Callback<Bar<'a, T>>>>,
  17    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
  18    |
  19    = help: the trait `Sized` is not implemented for `(dyn Callback<Bar<'a, T>, for<'b, 'c, 'd> Output = ()> + 'static)`
  20 note: required by a bound in `Bar`
  21   --> $DIR/hir-wf-canonicalized.rs:9:16
  22    |
  23 LL | struct Bar<'a, T> {
  24    |                ^ required by this bound in `Bar`
  25 help: consider relaxing the implicit `Sized` restriction
  26    |
  27 LL | struct Bar<'a, T: ?Sized> {
  28    |                 ++++++++
  29
  30 error: aborting due to 3 previous errors
  31
  32 For more information about this error, try `rustc --explain E0277`.