diff options
| author | Michael Goulet <michael@errs.io> | 2023-07-16 01:41:20 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-07-30 21:46:29 +0000 |
| commit | 0f0ab89feb4d668cb989aefe08f27af45cb10bed (patch) | |
| tree | aa2eb83b437e851ae9c65ff917d906b5cab8cc2c /tests/ui/impl-trait | |
| parent | a8be6e070f02fca6e5ab851e10e29d45c3a0217c (diff) | |
| download | rust-0f0ab89feb4d668cb989aefe08f27af45cb10bed.tar.gz rust-0f0ab89feb4d668cb989aefe08f27af45cb10bed.zip | |
Don't install default projection bound for RPITITs
Diffstat (limited to 'tests/ui/impl-trait')
| -rw-r--r-- | tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.rs | 10 | ||||
| -rw-r--r-- | tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.stderr | 16 |
2 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.rs b/tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.rs new file mode 100644 index 00000000000..742537ffcc4 --- /dev/null +++ b/tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.rs @@ -0,0 +1,10 @@ +#![feature(return_position_impl_trait_in_trait)] + +struct Wrapper<G: Send>(G); + +trait Foo { + fn bar() -> Wrapper<impl Sized>; + //~^ ERROR `impl Sized` cannot be sent between threads safely +} + +fn main() {} diff --git a/tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.stderr b/tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.stderr new file mode 100644 index 00000000000..dee87d08238 --- /dev/null +++ b/tests/ui/impl-trait/in-trait/check-wf-on-non-defaulted-rpitit.stderr @@ -0,0 +1,16 @@ +error[E0277]: `impl Sized` cannot be sent between threads safely + --> $DIR/check-wf-on-non-defaulted-rpitit.rs:6:17 + | +LL | fn bar() -> Wrapper<impl Sized>; + | ^^^^^^^^^^^^^^^^^^^ `impl Sized` cannot be sent between threads safely + | + = help: the trait `Send` is not implemented for `impl Sized` +note: required by a bound in `Wrapper` + --> $DIR/check-wf-on-non-defaulted-rpitit.rs:3:19 + | +LL | struct Wrapper<G: Send>(G); + | ^^^^ required by this bound in `Wrapper` + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0277`. |