Rollup merge of #102710 - Rageking8:add-test-for-issue-82633, r=estebank
Add test for issue 82633 Fixes #82633 r? `@estebank` The current stderr looks slightly different from [source](https://github.com/rust-lang/rust/pull/83915/files#diff-8c64c576ccaceb816e71d2279a6ee4bf79211bc06f55c46dda3f98a18748ad7a), so I used the latest one from nightly. Do let me know if anything is wrong.
This commit is contained in:
Matthias Krüger
GitHub
commit
b7642fb97c
2 changed files with 173 additions and 0 deletions
74
src/test/ui/closures/closure-return-type-must-be-sized.rs
Normal file
74
src/test/ui/closures/closure-return-type-must-be-sized.rs
Normal file
|
|
@ -0,0 +1,74 @@
|
|||
#![feature(unboxed_closures)]
|
||||
|
||||
trait A {
|
||||
fn a() where Self: Sized;
|
||||
}
|
||||
|
||||
mod a {
|
||||
use crate::A;
|
||||
|
||||
pub fn foo<F: FnOnce<()>>() where F::Output: A {
|
||||
F::Output::a()
|
||||
}
|
||||
|
||||
pub fn bar<F: FnOnce() -> R, R: ?Sized>() {}
|
||||
|
||||
pub fn baz<F: FnOnce<()>>() where F::Output: A, F::Output: Sized {
|
||||
F::Output::a()
|
||||
}
|
||||
}
|
||||
|
||||
mod b {
|
||||
use crate::A;
|
||||
|
||||
pub fn foo<F: Fn<()>>() where F::Output: A {
|
||||
F::Output::a()
|
||||
}
|
||||
|
||||
pub fn bar<F: Fn() -> R, R: ?Sized>() {}
|
||||
|
||||
pub fn baz<F: Fn<()>>() where F::Output: A, F::Output: Sized {
|
||||
F::Output::a()
|
||||
}
|
||||
}
|
||||
|
||||
mod c {
|
||||
use crate::A;
|
||||
|
||||
pub fn foo<F: FnMut<()>>() where F::Output: A {
|
||||
F::Output::a()
|
||||
}
|
||||
|
||||
pub fn bar<F: FnMut() -> R, R: ?Sized>() {}
|
||||
|
||||
pub fn baz<F: FnMut<()>>() where F::Output: A, F::Output: Sized {
|
||||
F::Output::a()
|
||||
}
|
||||
}
|
||||
|
||||
impl A for Box<dyn A> {
|
||||
fn a() {}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
a::foo::<fn() -> dyn A>(); //~ ERROR E0277
|
||||
a::bar::<fn() -> dyn A, _>(); //~ ERROR E0277
|
||||
a::baz::<fn() -> dyn A>(); //~ ERROR E0277
|
||||
a::foo::<fn() -> Box<dyn A>>(); // ok
|
||||
a::bar::<fn() -> Box<dyn A>, _>(); // ok
|
||||
a::baz::<fn() -> Box<dyn A>>(); // ok
|
||||
|
||||
b::foo::<fn() -> dyn A>(); //~ ERROR E0277
|
||||
b::bar::<fn() -> dyn A, _>(); //~ ERROR E0277
|
||||
b::baz::<fn() -> dyn A>(); //~ ERROR E0277
|
||||
b::foo::<fn() -> Box<dyn A>>(); // ok
|
||||
b::bar::<fn() -> Box<dyn A>, _>(); // ok
|
||||
b::baz::<fn() -> Box<dyn A>>(); // ok
|
||||
|
||||
c::foo::<fn() -> dyn A>(); //~ ERROR E0277
|
||||
c::bar::<fn() -> dyn A, _>(); //~ ERROR E0277
|
||||
c::baz::<fn() -> dyn A>(); //~ ERROR E0277
|
||||
c::foo::<fn() -> Box<dyn A>>(); // ok
|
||||
c::bar::<fn() -> Box<dyn A>, _>(); // ok
|
||||
c::baz::<fn() -> Box<dyn A>>(); // ok
|
||||
}
|
||||
|
|
@ -0,0 +1,99 @@
|
|||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:54:5
|
||||
|
|
||||
LL | a::foo::<fn() -> dyn A>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:55:14
|
||||
|
|
||||
LL | a::bar::<fn() -> dyn A, _>();
|
||||
| ^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
note: required by a bound in `a::bar`
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:14:19
|
||||
|
|
||||
LL | pub fn bar<F: FnOnce() -> R, R: ?Sized>() {}
|
||||
| ^^^^^^^^^^^^^ required by this bound in `a::bar`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:56:5
|
||||
|
|
||||
LL | a::baz::<fn() -> dyn A>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:61:5
|
||||
|
|
||||
LL | b::foo::<fn() -> dyn A>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:62:14
|
||||
|
|
||||
LL | b::bar::<fn() -> dyn A, _>();
|
||||
| ^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
note: required by a bound in `b::bar`
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:28:19
|
||||
|
|
||||
LL | pub fn bar<F: Fn() -> R, R: ?Sized>() {}
|
||||
| ^^^^^^^^^ required by this bound in `b::bar`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:63:5
|
||||
|
|
||||
LL | b::baz::<fn() -> dyn A>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:68:5
|
||||
|
|
||||
LL | c::foo::<fn() -> dyn A>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:69:14
|
||||
|
|
||||
LL | c::bar::<fn() -> dyn A, _>();
|
||||
| ^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
note: required by a bound in `c::bar`
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:42:19
|
||||
|
|
||||
LL | pub fn bar<F: FnMut() -> R, R: ?Sized>() {}
|
||||
| ^^^^^^^^^^^^ required by this bound in `c::bar`
|
||||
|
||||
error[E0277]: the size for values of type `dyn A` cannot be known at compilation time
|
||||
--> $DIR/closure-return-type-must-be-sized.rs:70:5
|
||||
|
|
||||
LL | c::baz::<fn() -> dyn A>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
|
||||
|
|
||||
= help: within `fn() -> dyn A`, the trait `Sized` is not implemented for `dyn A`
|
||||
= note: required because it appears within the type `fn() -> dyn A`
|
||||
|
||||
error: aborting due to 9 previous errors
|
||||
|
||||
For more information about this error, try `rustc --explain E0277`.
|
||||
Loading…
Add table
Add a link
Reference in a new issue