feat(sync): use bindings to provide a content storage for r3::sync::RecursiveMutex

Author: yvt

Cargo.lock

@@ -18,7 +18,7 @@ While much of the application-level API has retained its general shape, there ar
  - `r3::kernel::ResultCode::BadId` was renamed to `NoAccess` and covers general protection failures detected by a now-optional protection mechanism. This means that application and library code can't rely on `NoAccess` being returned reliably anymore (it can't anyway once owned handles are implemented), and that a kernel implementation may use this error code to indicate that a given kernel object ID might be valid, but the caller lacks the necessary privileges to access that object.
  - The `chrono` Cargo feature was renamed to `chrono_0p4`.
  - `r3::sync` is now gated by `cfg(feature = "sync")`.
- - `r3::sync::Mutex` is now backed by bindings (`Bind`). The default value is now `<T as Default>::default()` instead of `<T as Init>::INIT`. Additional options are available, which means you no longer have to implement `Init` just to put a custom type in `Mutex`, and that each `Mutex` can have a distinct initial value.
+ - `r3::sync::{Mutex, RecursiveMutex}` is now backed by bindings (`Bind`). The default value is now `<T as Default>::default()` instead of `<T as Init>::INIT`. Additional options are available, which means you no longer have to implement `Init` just to put a custom type in `Mutex`, and that each `Mutex` can have a distinct initial value.
 
 TODO
 

src/r3/CHANGELOG.md

@@ -29,6 +29,7 @@ _full = []
 stable_deref_trait = { version = "1.2.0", default-features = false }
 embed-doc-image = { version = "0.1.4", optional = true }
 svgbobdoc = { version = "0.3.0-alpha.4" }
+macropol = { version = "0.1.2" }
 r3_core = { version = "0.1.0", path = "../r3_core" }
 
 [dev-dependencies]

src/r3/Cargo.toml

@@ -2,7 +2,9 @@
 #![feature(type_changing_struct_update)]
 #![feature(const_precise_live_drops)]
 #![feature(const_fn_fn_ptr_basics)]
+#![feature(type_alias_impl_trait)]
 #![feature(const_fn_trait_bound)]
+#![feature(const_impl_trait)]
 #![feature(const_trait_impl)]
 #![feature(const_mut_refs)]
 #![feature(cell_update)]

src/r3/src/lib.rs

@@ -17,6 +17,7 @@ use crate::{
 };
 
 /// The definer (static builder) for [`StaticMutex`][].
+#[doc = include_str!("../common.md")]
 pub struct Definer<System, Source> {
     mutex: mutex::MutexDefiner<System>,
     source: Source,
@@ -258,7 +259,10 @@ where
 }
 
 // Define methods to set `Definer::source`
-impl_source_setter!(impl Definer<System, #Source>);
+impl_source_setter!(
+    #[no_autowrap()]
+    impl Definer<System, #Source>
+);
 
 /// # Finalization
 ///