Commit 4dcd6cc2 authored by Masaki Hara's avatar Masaki Hara Committed by CrLF0710

Fix failing tests.

parent e55d82c8
......@@ -37,7 +37,7 @@ fn main() {
});
// Call it
f();
f(&42);
}
```
......
......@@ -4,9 +4,10 @@ use std::boxed::FnBox;
fn call_it<T>(f: Box<dyn FnBox(&i32) -> T>) -> T {
f(&42)
//~^ERROR implementation of `std::ops::FnOnce` is not general enough
}
fn main() {
let s = "hello".to_owned();
assert_eq!(&call_it(Box::new(|| s)) as &str, "hello");
assert_eq!(&call_it(Box::new(|_| s)) as &str, "hello");
}
error[E0593]: closure is expected to take 1 argument, but it takes 0 arguments
--> $DIR/fnbox-compat.rs:11:34
error: implementation of `std::ops::FnOnce` is not general enough
--> $DIR/fnbox-compat.rs:6:5
|
LL | assert_eq!(&call_it(Box::new(|| s)) as &str, "hello");
| ^^
| |
| expected closure that takes 1 argument
| takes 0 arguments
help: consider changing the closure to take and ignore the expected argument
LL | f(&42)
| ^^^^^^
|
LL | assert_eq!(&call_it(Box::new(|_| s)) as &str, "hello");
| ^^^
= note: `std::ops::FnOnce<(&'0 i32,)>` would have to be implemented for the type `std::boxed::Box<(dyn for<'r> std::boxed::FnBox<(&'r i32,), Output=T> + 'static)>`, for some specific lifetime `'0`
= note: but `std::ops::FnOnce<(&'1 i32,)>` is actually implemented for the type `std::boxed::Box<(dyn std::boxed::FnBox<(&'1 i32,), Output=T> + '_)>`, for some specific lifetime `'1`
error[E0277]: the size for values of type `dyn for<'r> std::boxed::FnBox<(&'r i32,), Output=_>` cannot be known at compilation time
--> $DIR/fnbox-compat.rs:11:25
|
LL | assert_eq!(&call_it(Box::new(|| s)) as &str, "hello");
| ^^^^^^^^ doesn't have a size known at compile-time
|
= help: the trait `std::marker::Sized` is not implemented for `dyn for<'r> std::boxed::FnBox<(&'r i32,), Output=_>`
= note: to learn more, visit <https://doc.rust-lang.org/book/second-edition/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
= note: required by `<std::boxed::Box<T>>::new`
error: aborting due to 2 previous errors
error: aborting due to previous error
Some errors occurred: E0277, E0593.
For more information about an error, try `rustc --explain E0277`.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment