diff --git a/cfail/ui/freeze.stderr b/cfail/ui/freeze.stderr index 1b14d854e5..56c116e31b 100644 --- a/cfail/ui/freeze.stderr +++ b/cfail/ui/freeze.stderr @@ -2,8 +2,8 @@ error[E0499]: cannot borrow `q` as mutable more than once at a time --> $DIR/freeze.rs:7:5 | 6 | let (_p, mut _c) = q.split(); - | --------- first mutable borrow occurs here + | - first mutable borrow occurs here 7 | q.enqueue(0).unwrap(); - | ^^^^^^^^^^^^ second mutable borrow occurs here + | ^ second mutable borrow occurs here 8 | _c.dequeue(); - | ------------ first borrow later used here + | -- first borrow later used here diff --git a/cfail/ui/not-send.stderr b/cfail/ui/not-send.stderr index c9c748f20d..40645b7a6d 100644 --- a/cfail/ui/not-send.stderr +++ b/cfail/ui/not-send.stderr @@ -1,99 +1,123 @@ error[E0277]: `*const ()` cannot be sent between threads safely - --> $DIR/not-send.rs:19:15 + --> ui/not-send.rs:19:15 | 19 | is_send::>(); | ^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely | = help: within `PhantomData<*const ()>`, the trait `Send` is not implemented for `*const ()` - = note: required because it appears within the type `PhantomData<*const ()>` +note: required because it appears within the type `PhantomData<*const ()>` + --> $RUST/core/src/marker.rs = note: required for `Consumer<'_, PhantomData<*const ()>, 4>` to implement `Send` note: required by a bound in `is_send` - --> $DIR/not-send.rs:14:8 + --> ui/not-send.rs:14:8 | 12 | fn is_send() - | ------- required by a bound in this + | ------- required by a bound in this function 13 | where 14 | T: Send, | ^^^^ required by this bound in `is_send` error[E0277]: `*const ()` cannot be sent between threads safely - --> $DIR/not-send.rs:20:15 + --> ui/not-send.rs:20:15 | 20 | is_send::>(); | ^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely | = help: within `PhantomData<*const ()>`, the trait `Send` is not implemented for `*const ()` - = note: required because it appears within the type `PhantomData<*const ()>` +note: required because it appears within the type `PhantomData<*const ()>` + --> $RUST/core/src/marker.rs = note: required for `Producer<'_, PhantomData<*const ()>, 4>` to implement `Send` note: required by a bound in `is_send` - --> $DIR/not-send.rs:14:8 + --> ui/not-send.rs:14:8 | 12 | fn is_send() - | ------- required by a bound in this + | ------- required by a bound in this function 13 | where 14 | T: Send, | ^^^^ required by this bound in `is_send` error[E0277]: `*const ()` cannot be sent between threads safely - --> $DIR/not-send.rs:21:15 + --> ui/not-send.rs:21:15 | 21 | is_send::>(); | ^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely | = help: within `Queue, 4>`, the trait `Send` is not implemented for `*const ()` - = note: required because it appears within the type `PhantomData<*const ()>` - = note: required because it appears within the type `ManuallyDrop>` - = note: required because it appears within the type `MaybeUninit>` - = note: required because it appears within the type `UnsafeCell>>` +note: required because it appears within the type `PhantomData<*const ()>` + --> $RUST/core/src/marker.rs +note: required because it appears within the type `ManuallyDrop>` + --> $RUST/core/src/mem/manually_drop.rs +note: required because it appears within the type `MaybeUninit>` + --> $RUST/core/src/mem/maybe_uninit.rs +note: required because it appears within the type `UnsafeCell>>` + --> $RUST/core/src/cell.rs = note: required because it appears within the type `[UnsafeCell>>; 4]` - = note: required because it appears within the type `Queue, 4>` +note: required because it appears within the type `Queue, 4>` + --> $HEAPLESS/src/spsc.rs + | + | pub struct Queue { + | ^^^^^ note: required by a bound in `is_send` - --> $DIR/not-send.rs:14:8 + --> ui/not-send.rs:14:8 | 12 | fn is_send() - | ------- required by a bound in this + | ------- required by a bound in this function 13 | where 14 | T: Send, | ^^^^ required by this bound in `is_send` error[E0277]: `*const ()` cannot be sent between threads safely - --> $DIR/not-send.rs:22:15 + --> ui/not-send.rs:22:15 | 22 | is_send::>(); | ^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely | = help: within `heapless::Vec, 4>`, the trait `Send` is not implemented for `*const ()` - = note: required because it appears within the type `PhantomData<*const ()>` - = note: required because it appears within the type `ManuallyDrop>` - = note: required because it appears within the type `MaybeUninit>` +note: required because it appears within the type `PhantomData<*const ()>` + --> $RUST/core/src/marker.rs +note: required because it appears within the type `ManuallyDrop>` + --> $RUST/core/src/mem/manually_drop.rs +note: required because it appears within the type `MaybeUninit>` + --> $RUST/core/src/mem/maybe_uninit.rs = note: required because it appears within the type `[MaybeUninit>; 4]` - = note: required because it appears within the type `heapless::Vec, 4>` +note: required because it appears within the type `Vec, 4>` + --> $HEAPLESS/src/vec.rs + | + | pub struct Vec { + | ^^^ note: required by a bound in `is_send` - --> $DIR/not-send.rs:14:8 + --> ui/not-send.rs:14:8 | 12 | fn is_send() - | ------- required by a bound in this + | ------- required by a bound in this function 13 | where 14 | T: Send, | ^^^^ required by this bound in `is_send` error[E0277]: `*const ()` cannot be sent between threads safely - --> $DIR/not-send.rs:23:15 + --> ui/not-send.rs:23:15 | 23 | is_send::>(); | ^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely | = help: within `HistoryBuffer, 4>`, the trait `Send` is not implemented for `*const ()` - = note: required because it appears within the type `PhantomData<*const ()>` - = note: required because it appears within the type `ManuallyDrop>` - = note: required because it appears within the type `MaybeUninit>` +note: required because it appears within the type `PhantomData<*const ()>` + --> $RUST/core/src/marker.rs +note: required because it appears within the type `ManuallyDrop>` + --> $RUST/core/src/mem/manually_drop.rs +note: required because it appears within the type `MaybeUninit>` + --> $RUST/core/src/mem/maybe_uninit.rs = note: required because it appears within the type `[MaybeUninit>; 4]` - = note: required because it appears within the type `HistoryBuffer, 4>` +note: required because it appears within the type `HistoryBuffer, 4>` + --> $HEAPLESS/src/histbuf.rs + | + | pub struct HistoryBuffer { + | ^^^^^^^^^^^^^ note: required by a bound in `is_send` - --> $DIR/not-send.rs:14:8 + --> ui/not-send.rs:14:8 | 12 | fn is_send() - | ------- required by a bound in this + | ------- required by a bound in this function 13 | where 14 | T: Send, | ^^^^ required by this bound in `is_send`