mirror of
https://github.com/rust-embedded/heapless.git
synced 2025-09-28 04:50:34 +00:00
Fix cfail tests
This commit is contained in:
Roman Proskuryakov
parent
7fb276f6dc
commit
5bde47c214
@ -1,7 +1,7 @@
|
||||
use heapless::{consts, spsc::Queue};
|
||||
use heapless::{spsc::Queue};
|
||||
|
||||
fn main() {
|
||||
let mut q: Queue<u8, consts::U4> = Queue::new();
|
||||
let mut q: Queue<u8, _, _, 4> = Queue::new();
|
||||
|
||||
let (_p, mut _c) = q.split();
|
||||
q.enqueue(0).unwrap();
|
||||
|
||||
@ -3,7 +3,6 @@
|
||||
use core::marker::PhantomData;
|
||||
|
||||
use heapless::{
|
||||
consts,
|
||||
spsc::{Consumer, Producer, Queue},
|
||||
};
|
||||
|
||||
@ -16,8 +15,8 @@ where
|
||||
}
|
||||
|
||||
fn main() {
|
||||
is_send::<Consumer<NotSend, consts::U4>>();
|
||||
is_send::<Producer<NotSend, consts::U4>>();
|
||||
is_send::<Queue<NotSend, consts::U4>>();
|
||||
is_send::<heapless::Vec<NotSend, consts::U4>>();
|
||||
is_send::<Consumer<NotSend, _, _, 4>>();
|
||||
is_send::<Producer<NotSend, _, _, 4>>();
|
||||
is_send::<Queue<NotSend, _, _, 4>>();
|
||||
is_send::<heapless::Vec<NotSend, 4>>();
|
||||
}
|
||||
|
||||
@ -1,83 +1,69 @@
|
||||
error[E0277]: `*const ()` cannot be sent between threads safely
|
||||
--> $DIR/not-send.rs:18:5
|
||||
|
|
||||
11 | fn is_send<T>()
|
||||
| ------- required by a bound in this
|
||||
12 | where
|
||||
13 | T: Send,
|
||||
| ---- required by this bound in `is_send`
|
||||
...
|
||||
18 | is_send::<Consumer<NotSend, _, _, 4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*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 of the requirements on the impl of `Send` for `Consumer<'_, PhantomData<*const ()>, _, _, 4_usize>`
|
||||
|
||||
error[E0277]: `*const ()` cannot be sent between threads safely
|
||||
--> $DIR/not-send.rs:19:5
|
||||
|
|
||||
19 | is_send::<Consumer<NotSend, consts::U4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
|
||||
11 | fn is_send<T>()
|
||||
| ------- required by a bound in this
|
||||
12 | where
|
||||
13 | T: Send,
|
||||
| ---- required by this bound in `is_send`
|
||||
...
|
||||
19 | is_send::<Producer<NotSend, _, _, 4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
|
||||
|
|
||||
= help: within `std::marker::PhantomData<*const ()>`, the trait `std::marker::Send` is not implemented for `*const ()`
|
||||
= note: required because it appears within the type `std::marker::PhantomData<*const ()>`
|
||||
= note: required because of the requirements on the impl of `std::marker::Send` for `heapless::spsc::split::Consumer<'_, std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>`
|
||||
note: required by `is_send`
|
||||
--> $DIR/not-send.rs:12:1
|
||||
|
|
||||
12 | / fn is_send<T>()
|
||||
13 | | where
|
||||
14 | | T: Send,
|
||||
15 | | {
|
||||
16 | | }
|
||||
| |_^
|
||||
= 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 of the requirements on the impl of `Send` for `Producer<'_, PhantomData<*const ()>, _, _, 4_usize>`
|
||||
|
||||
error[E0277]: `*const ()` cannot be sent between threads safely
|
||||
--> $DIR/not-send.rs:20:5
|
||||
|
|
||||
20 | is_send::<Producer<NotSend, consts::U4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
|
||||
11 | fn is_send<T>()
|
||||
| ------- required by a bound in this
|
||||
12 | where
|
||||
13 | T: Send,
|
||||
| ---- required by this bound in `is_send`
|
||||
...
|
||||
20 | is_send::<Queue<NotSend, _, _, 4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
|
||||
|
|
||||
= help: within `std::marker::PhantomData<*const ()>`, the trait `std::marker::Send` is not implemented for `*const ()`
|
||||
= note: required because it appears within the type `std::marker::PhantomData<*const ()>`
|
||||
= note: required because of the requirements on the impl of `std::marker::Send` for `heapless::spsc::split::Producer<'_, std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>`
|
||||
note: required by `is_send`
|
||||
--> $DIR/not-send.rs:12:1
|
||||
|
|
||||
12 | / fn is_send<T>()
|
||||
13 | | where
|
||||
14 | | T: Send,
|
||||
15 | | {
|
||||
16 | | }
|
||||
| |_^
|
||||
= help: within `Queue<PhantomData<*const ()>, _, _, 4_usize>`, 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 ()>; 4]`
|
||||
= note: required because it appears within the type `ManuallyDrop<[PhantomData<*const ()>; 4]>`
|
||||
= note: required because it appears within the type `MaybeUninit<[PhantomData<*const ()>; 4]>`
|
||||
= note: required because it appears within the type `Queue<PhantomData<*const ()>, _, _, 4_usize>`
|
||||
|
||||
error[E0277]: `*const ()` cannot be sent between threads safely
|
||||
--> $DIR/not-send.rs:21:5
|
||||
|
|
||||
21 | is_send::<Queue<NotSend, consts::U4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
|
||||
11 | fn is_send<T>()
|
||||
| ------- required by a bound in this
|
||||
12 | where
|
||||
13 | T: Send,
|
||||
| ---- required by this bound in `is_send`
|
||||
...
|
||||
21 | is_send::<heapless::Vec<NotSend, 4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
|
||||
|
|
||||
= help: within `std::marker::PhantomData<*const ()>`, the trait `std::marker::Send` is not implemented for `*const ()`
|
||||
= note: required because it appears within the type `std::marker::PhantomData<*const ()>`
|
||||
= note: required because of the requirements on the impl of `std::marker::Send` for `generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>`
|
||||
= note: required because it appears within the type `std::mem::ManuallyDrop<generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>>`
|
||||
= note: required because it appears within the type `std::mem::MaybeUninit<generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>>`
|
||||
= note: required because it appears within the type `heapless::i::Queue<generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>>`
|
||||
= note: required because it appears within the type `heapless::spsc::Queue<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>`
|
||||
note: required by `is_send`
|
||||
--> $DIR/not-send.rs:12:1
|
||||
|
|
||||
12 | / fn is_send<T>()
|
||||
13 | | where
|
||||
14 | | T: Send,
|
||||
15 | | {
|
||||
16 | | }
|
||||
| |_^
|
||||
|
||||
error[E0277]: `*const ()` cannot be sent between threads safely
|
||||
--> $DIR/not-send.rs:22:5
|
||||
|
|
||||
22 | is_send::<heapless::Vec<NotSend, consts::U4>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
|
||||
|
|
||||
= help: within `std::marker::PhantomData<*const ()>`, the trait `std::marker::Send` is not implemented for `*const ()`
|
||||
= note: required because it appears within the type `std::marker::PhantomData<*const ()>`
|
||||
= note: required because of the requirements on the impl of `std::marker::Send` for `generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>`
|
||||
= note: required because it appears within the type `std::mem::ManuallyDrop<generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>>`
|
||||
= note: required because it appears within the type `std::mem::MaybeUninit<generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>>`
|
||||
= note: required because it appears within the type `heapless::i::Vec<generic_array::GenericArray<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>>`
|
||||
= note: required because it appears within the type `heapless::vec::Vec<std::marker::PhantomData<*const ()>, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>>`
|
||||
note: required by `is_send`
|
||||
--> $DIR/not-send.rs:12:1
|
||||
|
|
||||
12 | / fn is_send<T>()
|
||||
13 | | where
|
||||
14 | | T: Send,
|
||||
15 | | {
|
||||
16 | | }
|
||||
| |_^
|
||||
= help: within `heapless::Vec<PhantomData<*const ()>, 4_usize>`, 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 ()>; 4]`
|
||||
= note: required because it appears within the type `ManuallyDrop<[PhantomData<*const ()>; 4]>`
|
||||
= note: required because it appears within the type `MaybeUninit<[PhantomData<*const ()>; 4]>`
|
||||
= note: required because it appears within the type `heapless::Vec<PhantomData<*const ()>, 4_usize>`
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user