Macro moveit::moveit

macro_rules! moveit {
    (let $name : ident $(: $ty : ty) ? = & move * $expr : expr
 $(; $($rest : tt) *) ?) => { ... };
    (let mut $name : ident $(: $ty : ty) ? = & move * $expr : expr
 $(; $($rest : tt) *) ?) => { ... };
    (let $name : ident $(: $ty : ty) ? = & move $expr : expr $(; $($rest : tt) *)
 ?) => { ... };
    (let mut $name : ident $(: $ty : ty) ? = & move $expr : expr
 $(; $($rest : tt) *) ?) => { ... };
    (let $name : ident $(: $ty : ty) ? = $expr : expr $(; $($rest : tt) *) ?) => { ... };
    (let mut $name : ident $(: $ty : ty) ? = $expr : expr $(; $($rest : tt) *) ?) => { ... };
    ($(;) ?) => { ... };
    (@ move $(($mut : tt)) ? $name : ident, $($ty : ty) ?, $expr : expr) => { ... };
    (@ put $(($mut : tt)) ? $name : ident, $($ty : ty) ?, $expr : expr) => { ... };
    (@ emplace $(($mut : tt)) ? $name : ident, $($ty : ty) ?, $expr : expr) => { ... };
}

Performs an emplacement operation.

This macro allows for three exotic types of let bindings:

let bx = Box::new(42);

moveit! {
  // Use a `New` to construct a new value in place on the stack. This
  // produces a value of type `Pin<MoveRef<_>>`.
  let x = new::default::<i32>();
   
  // Move out of an existing `DerefMove` type, such as a `Box`. This has
  // type `MoveRef<_>`, but can be pinned using `MoveRef::into_pin()`.
  let y = &move *bx;
   
  // Create a `MoveRef` of an existing type on the stack. This also has
  // type `MoveRef<_>`.
  let z = &move y;
}

All three lets, including in-place construction, pin to the stack. Consider using something like Box::emplace() to perform construction on the heap.