Add tests for boxed_closure_impls.
This commit is contained in:
parent
059ec76d9b
commit
480dcb403c
4 changed files with 61 additions and 0 deletions
10
src/test/run-pass/unsized-locals/box-fnonce.rs
Normal file
10
src/test/run-pass/unsized-locals/box-fnonce.rs
Normal file
|
@ -0,0 +1,10 @@
|
|||
#![feature(boxed_closure_impls)]
|
||||
|
||||
fn call_it<T>(f: Box<dyn FnOnce() -> T>) -> T {
|
||||
f()
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let s = "hello".to_owned();
|
||||
assert_eq!(&call_it(Box::new(|| s)) as &str, "hello");
|
||||
}
|
12
src/test/run-pass/unsized-locals/fnbox-compat.rs
Normal file
12
src/test/run-pass/unsized-locals/fnbox-compat.rs
Normal file
|
@ -0,0 +1,12 @@
|
|||
#![feature(fnbox)]
|
||||
|
||||
use std::boxed::FnBox;
|
||||
|
||||
fn call_it<T>(f: Box<dyn FnBox() -> T>) -> T {
|
||||
f()
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let s = "hello".to_owned();
|
||||
assert_eq!(&call_it(Box::new(|| s)) as &str, "hello");
|
||||
}
|
12
src/test/ui/unsized-locals/fnbox-compat.rs
Normal file
12
src/test/ui/unsized-locals/fnbox-compat.rs
Normal file
|
@ -0,0 +1,12 @@
|
|||
#![feature(fnbox)]
|
||||
|
||||
use std::boxed::FnBox;
|
||||
|
||||
fn call_it<T>(f: Box<dyn FnBox(&i32) -> T>) -> T {
|
||||
f(&42)
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let s = "hello".to_owned();
|
||||
assert_eq!(&call_it(Box::new(|| s)) as &str, "hello");
|
||||
}
|
27
src/test/ui/unsized-locals/fnbox-compat.stderr
Normal file
27
src/test/ui/unsized-locals/fnbox-compat.stderr
Normal file
|
@ -0,0 +1,27 @@
|
|||
error[E0593]: closure is expected to take 1 argument, but it takes 0 arguments
|
||||
--> $DIR/fnbox-compat.rs:11:34
|
||||
|
|
||||
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 | assert_eq!(&call_it(Box::new(|_| s)) as &str, "hello");
|
||||
| ^^^
|
||||
|
||||
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
|
||||
|
||||
Some errors occurred: E0277, E0593.
|
||||
For more information about an error, try `rustc --explain E0277`.
|
Loading…
Add table
Add a link
Reference in a new issue