Skip to content

Commit

Permalink
Rollup merge of #102710 - Rageking8:add-test-for-issue-82633, r=estebank
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
matthiaskrgr authored Oct 6, 2022
2 parents 0512a06 + 65c0e68 commit b7642fb
Show file tree
Hide file tree
Showing 2 changed files with 173 additions and 0 deletions.
74 changes: 74 additions & 0 deletions src/test/ui/closures/closure-return-type-must-be-sized.rs
Original file line number Diff line number Diff line change
@@ -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
}
99 changes: 99 additions & 0 deletions src/test/ui/closures/closure-return-type-must-be-sized.stderr
Original file line number Diff line number Diff line change
@@ -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`.

0 comments on commit b7642fb

Please sign in to comment.