Const generics port

.github/workflows/build.yml

@@ -105,7 +105,7 @@ jobs:
         toolchain:
           - stable
           - nightly
-          - 1.36.0
+          - 1.51.0
         features:
           - serde
         buildtype:
@@ -242,7 +242,7 @@ jobs:
       - name: Install Rust
         uses: actions-rs/toolchain@v1
         with:
-          toolchain: 1.36.0
+          toolchain: 1.51.0
           target: x86_64-unknown-linux-gnu
           override: true
 

Cargo.toml

@@ -2,6 +2,7 @@
 authors = [
   "Jorge Aparicio <jorge@japaric.io>",
   "Per Lindgren <per.lindgren@ltu.se>",
+  "Emil Fresk <emil.fresk@gmail.com>",
 ]
 categories = [
     "data-structures",
@@ -32,8 +33,6 @@ __trybuild = []
 scoped_threadpool = "0.1.8"
 
 [dependencies]
-as-slice = "0.1.5"
-generic-array = "0.14.4"
 hash32 = "0.1.0"
 
 [dependencies.serde]

cfail/ui/freeze.rs

@@ -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();

cfail/ui/not-send.rs

@@ -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>>();
 }

cfail/ui/not-send.stderr

@@ -1,83 +1,69 @@
 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
+  --> $DIR/not-send.rs:18:5
    |
-   = 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
+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
    |
-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 `Consumer<'_, 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
+  --> $DIR/not-send.rs:19:5
    |
-   = 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
+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
    |
-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:21:5
-   |
-21 |     is_send::<Queue<NotSend, consts::U4>>();
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
+  --> $DIR/not-send.rs:20:5
    |
-   = 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
+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
    |
-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:22:5
-   |
-22 |     is_send::<heapless::Vec<NotSend, consts::U4>>();
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `*const ()` cannot be sent between threads safely
+  --> $DIR/not-send.rs:21:5
    |
-   = 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
+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
    |
-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>`