Skip to content

Change how mutability in msg_send! is done#150

Merged
madsmtm merged 7 commits into
masterfrom
msg-send-receiver-soundness
Jun 6, 2022
Merged

Change how mutability in msg_send! is done#150
madsmtm merged 7 commits into
masterfrom
msg-send-receiver-soundness

Consume `ManuallyDrop<Id<T, O>>` in `msg_send!`

2beef61
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs