pub fn joiner_abandonment_retires(
record: &DeviceJoinJournalRecord,
abandonment: &DeviceJoinAbandonment,
) -> Result<(), DeviceJoinJournalError>Expand description
The joiner record an observed abandonment advances to, or None when the
journal already holds that exact abandonment.
Whether record is a joiner row an abandonment may retire.
The joining device keeps no abandoned state: accepting an abandonment deletes the row, so afterwards its absence is the whole answer and there is no state left for a second acceptance to compare against. Only the two waiting states can be abandoned — past them the device has been approved and holds storage access, which an abandonment does not take back.