tests/ui/nll/relate_tys/trait-hrtb.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/trait-hrtb.rs:13:39
   3    |
   4 LL |     let y: Box<dyn for<'a> Foo<'a>> = x;
   5    |                                       ^ one type is more general than the other
   6    |
   7    = note: expected trait object `dyn for<'a> Foo<'a>`
   8               found trait object `dyn Foo<'_>`
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0308`.