rust/tests/ui/traits/unsize-goal-escaping-bounds...

20 lines
816 B
Plaintext

error[E0277]: the trait bound `for<'a> (): Unsize<(dyn Trait + 'a)>` is not satisfied
--> $DIR/unsize-goal-escaping-bounds.rs:20:5
|
LL | foo();
| ^^^^^ the trait `for<'a> Unsize<(dyn Trait + 'a)>` is not implemented for `()`
|
= note: all implementations of `Unsize` are provided automatically by the compiler, see <https://doc.rust-lang.org/stable/std/marker/trait.Unsize.html> for more information
note: required by a bound in `foo`
--> $DIR/unsize-goal-escaping-bounds.rs:15:17
|
LL | fn foo()
| --- required by a bound in this function
LL | where
LL | for<'a> (): Unsize<dyn Trait + 'a>,
| ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `foo`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.