Skip to content

Commit 6840bc4

Browse files
Aaron1011Aaron1011
committed
Update stderr files
1 parent 5ce4306 commit 6840bc4

File tree

2 files changed

+7
-65
lines changed

2 files changed

+7
-65
lines changed

‎src/test/ui/async-await/async-fn-nonsend.stderr

Lines changed: 5 additions & 63 deletions
Original file line numberDiff line numberDiff line change
@@ -4,76 +4,18 @@ error[E0277]: `std::rc::Rc<()>` cannot be sent between threads safely
44
LL | fn assert_send(_: impl Send) {}
55
| ----------- ---- required by this bound in `assert_send`
66
...
7-
LL | assert_send(local_dropped_before_await());
8-
| ^^^^^^^^^^^ `std::rc::Rc<()>` cannot be sent between threads safely
9-
|
10-
= help: within `impl std::future::Future`, the trait `std::marker::Send` is not implemented for `std::rc::Rc<()>`
11-
= note: required because it appears within the type `impl std::fmt::Debug`
12-
= note: required because it appears within the type `{impl std::fmt::Debug, impl std::future::Future, impl std::future::Future, ()}`
13-
= note: required because it appears within the type `[static generator@$DIR/async-fn-nonsend.rs:21:39: 26:2 {impl std::fmt::Debug, impl std::future::Future, impl std::future::Future, ()}]`
14-
= note: required because it appears within the type `std::future::GenFuture<[static generator@$DIR/async-fn-nonsend.rs:21:39: 26:2 {impl std::fmt::Debug, impl std::future::Future, impl std::future::Future, ()}]>`
15-
= note: required because it appears within the type `impl std::future::Future`
16-
= note: required because it appears within the type `impl std::future::Future`
17-
18-
error[E0277]: `std::rc::Rc<()>` cannot be sent between threads safely
19-
--> $DIR/async-fn-nonsend.rs:52:5
20-
|
21-
LL | fn assert_send(_: impl Send) {}
22-
| ----------- ---- required by this bound in `assert_send`
23-
...
247
LL | assert_send(non_send_temporary_in_match());
258
| ^^^^^^^^^^^ `std::rc::Rc<()>` cannot be sent between threads safely
269
|
2710
= help: within `impl std::future::Future`, the trait `std::marker::Send` is not implemented for `std::rc::Rc<()>`
2811
= note: required because it appears within the type `impl std::fmt::Debug`
29-
= note: required because it appears within the type `{impl std::fmt::Debug, std::option::Option<impl std::fmt::Debug>, impl std::future::Future, impl std::future::Future, ()}`
30-
= note: required because it appears within the type `[static generator@$DIR/async-fn-nonsend.rs:28:40: 37:2 {impl std::fmt::Debug, std::option::Option<impl std::fmt::Debug>, impl std::future::Future, impl std::future::Future, ()}]`
31-
= note: required because it appears within the type `std::future::GenFuture<[static generator@$DIR/async-fn-nonsend.rs:28:40: 37:2 {impl std::fmt::Debug, std::option::Option<impl std::fmt::Debug>, impl std::future::Future, impl std::future::Future, ()}]>`
32-
= note: required because it appears within the type `impl std::future::Future`
33-
= note: required because it appears within the type `impl std::future::Future`
34-
35-
error[E0277]: `dyn std::fmt::Write` cannot be sent between threads safely
36-
--> $DIR/async-fn-nonsend.rs:54:5
37-
|
38-
LL | fn assert_send(_: impl Send) {}
39-
| ----------- ---- required by this bound in `assert_send`
40-
...
41-
LL | assert_send(non_sync_with_method_call());
42-
| ^^^^^^^^^^^ `dyn std::fmt::Write` cannot be sent between threads safely
43-
|
44-
= help: the trait `std::marker::Send` is not implemented for `dyn std::fmt::Write`
45-
= note: required because of the requirements on the impl of `std::marker::Send` for `&mut dyn std::fmt::Write`
46-
= note: required because it appears within the type `std::fmt::Formatter<'_>`
47-
= note: required because of the requirements on the impl of `std::marker::Send` for `&mut std::fmt::Formatter<'_>`
48-
= note: required because it appears within the type `for<'r, 's> {&'r mut std::fmt::Formatter<'s>, bool, bool, impl std::future::Future, impl std::future::Future, ()}`
49-
= note: required because it appears within the type `[static generator@$DIR/async-fn-nonsend.rs:39:38: 45:2 for<'r, 's> {&'r mut std::fmt::Formatter<'s>, bool, bool, impl std::future::Future, impl std::future::Future, ()}]`
50-
= note: required because it appears within the type `std::future::GenFuture<[static generator@$DIR/async-fn-nonsend.rs:39:38: 45:2 for<'r, 's> {&'r mut std::fmt::Formatter<'s>, bool, bool, impl std::future::Future, impl std::future::Future, ()}]>`
51-
= note: required because it appears within the type `impl std::future::Future`
52-
= note: required because it appears within the type `impl std::future::Future`
53-
54-
error[E0277]: `*mut (dyn std::ops::Fn() + 'static)` cannot be shared between threads safely
55-
--> $DIR/async-fn-nonsend.rs:54:5
56-
|
57-
LL | fn assert_send(_: impl Send) {}
58-
| ----------- ---- required by this bound in `assert_send`
59-
...
60-
LL | assert_send(non_sync_with_method_call());
61-
| ^^^^^^^^^^^ `*mut (dyn std::ops::Fn() + 'static)` cannot be shared between threads safely
62-
|
63-
= help: within `std::fmt::ArgumentV1<'_>`, the trait `std::marker::Sync` is not implemented for `*mut (dyn std::ops::Fn() + 'static)`
64-
= note: required because it appears within the type `std::marker::PhantomData<*mut (dyn std::ops::Fn() + 'static)>`
65-
= note: required because it appears within the type `core::fmt::Void`
66-
= note: required because it appears within the type `&core::fmt::Void`
67-
= note: required because it appears within the type `std::fmt::ArgumentV1<'_>`
68-
= note: required because of the requirements on the impl of `std::marker::Send` for `std::slice::Iter<'_, std::fmt::ArgumentV1<'_>>`
69-
= note: required because it appears within the type `std::fmt::Formatter<'_>`
70-
= note: required because of the requirements on the impl of `std::marker::Send` for `&mut std::fmt::Formatter<'_>`
71-
= note: required because it appears within the type `for<'r, 's> {&'r mut std::fmt::Formatter<'s>, bool, bool, impl std::future::Future, impl std::future::Future, ()}`
72-
= note: required because it appears within the type `[static generator@$DIR/async-fn-nonsend.rs:39:38: 45:2 for<'r, 's> {&'r mut std::fmt::Formatter<'s>, bool, bool, impl std::future::Future, impl std::future::Future, ()}]`
73-
= note: required because it appears within the type `std::future::GenFuture<[static generator@$DIR/async-fn-nonsend.rs:39:38: 45:2 for<'r, 's> {&'r mut std::fmt::Formatter<'s>, bool, bool, impl std::future::Future, impl std::future::Future, ()}]>`
12+
= note: required because it appears within the type `std::option::Option<impl std::fmt::Debug>`
13+
= note: required because it appears within the type `[witness@DefId(0:25 ~ async_fn_nonsend[8787]::non_send_temporary_in_match[0]::{{closure}}[0]){impl std::fmt::Debug, std::option::Option<impl std::fmt::Debug>, impl std::future::Future, impl std::future::Future, ()}]`
14+
= note: required because it appears within the type `[static generator@$DIR/async-fn-nonsend.rs:28:40: 37:2 [witness@DefId(0:25 ~ async_fn_nonsend[8787]::non_send_temporary_in_match[0]::{{closure}}[0]){impl std::fmt::Debug, std::option::Option<impl std::fmt::Debug>, impl std::future::Future, impl std::future::Future, ()}]]`
15+
= note: required because it appears within the type `std::future::GenFuture<[static generator@$DIR/async-fn-nonsend.rs:28:40: 37:2 [witness@DefId(0:25 ~ async_fn_nonsend[8787]::non_send_temporary_in_match[0]::{{closure}}[0]){impl std::fmt::Debug, std::option::Option<impl std::fmt::Debug>, impl std::future::Future, impl std::future::Future, ()}]]>`
7416
= note: required because it appears within the type `impl std::future::Future`
7517
= note: required because it appears within the type `impl std::future::Future`
7618

77-
error: aborting due to 4 previous errors
19+
error: aborting due to previous error
7820

7921
For more information about this error, try `rustc --explain E0277`.

‎src/test/ui/impl-trait/recursive-impl-trait-type-indirect.stderr

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ error[E0720]: opaque type expands to a recursive type
7676
LL | fn generator_capture() -> impl Sized {
7777
| ^^^^^^^^^^ expands to a recursive type
7878
|
79-
= note: expanded type is `[generator@$DIR/recursive-impl-trait-type-indirect.rs:50:5: 50:26 x:impl Sized {()}]`
79+
= note: expanded type is `[generator@$DIR/recursive-impl-trait-type-indirect.rs:50:5: 50:26 x:impl Sized [witness@DefId(0:27 ~ recursive_impl_trait_type_indirect[317d]::generator_capture[0]::{{closure}}[0]){()}]]`
8080

8181
error[E0720]: opaque type expands to a recursive type
8282
--> $DIR/recursive-impl-trait-type-indirect.rs:53:26
@@ -92,7 +92,7 @@ error[E0720]: opaque type expands to a recursive type
9292
LL | fn generator_hold() -> impl Sized {
9393
| ^^^^^^^^^^ expands to a recursive type
9494
|
95-
= note: expanded type is `[generator@$DIR/recursive-impl-trait-type-indirect.rs:58:5: 62:6 {impl Sized, ()}]`
95+
= note: expanded type is `[generator@$DIR/recursive-impl-trait-type-indirect.rs:58:5: 62:6 [witness@DefId(0:33 ~ recursive_impl_trait_type_indirect[317d]::generator_hold[0]::{{closure}}[0]){impl Sized, ()}]]`
9696

9797
error[E0720]: opaque type expands to a recursive type
9898
--> $DIR/recursive-impl-trait-type-indirect.rs:69:26

0 commit comments

Comments
 (0)