-error: higher-ranked subtype error
+error[E0308]: mismatched types
--> $DIR/trait-hrtb.rs:15:39
|
LL | let y: Box<dyn for<'a> Foo<'a>> = x;
- | ^
+ | ^ one type is more general than the other
+ |
+ = note: expected trait object `dyn for<'r> Foo<'r>`
+ found trait object `dyn Foo<'_>`
error: aborting due to previous error
+For more information about this error, try `rustc --explain E0308`.