Change how mutability in `msg_send!` is done - #150

Merged

madsmtm merged 7 commits into

msg-send-receiver-soundness

Jun 6, 2022

Commits on Jun 6, 2022

Change msg_send! such that callers can properly communicate mutability
madsmtm
committed
36912b0
Make reborrow fixes easier to read
madsmtm
committed
0f35f4f
Test that msg_send! consumes the receiver
madsmtm
committed
cdea41a
Test a few different ways of sending messages that mutate the receiver
madsmtm
committed
0925705
Make `Id::as_ptr` an associated method
madsmtm
committed
1158e4c
Add `Id::as_mut_ptr`
madsmtm
committed
d9a328e
Consume `ManuallyDrop<Id<T, O>>` in `msg_send!`
madsmtm
committed
2beef61