miri::borrow_tracker::tree_borrows::perms::transition

Function perform_access

Source 
pub(super) fn perform_access(
    kind: AccessKind,
    rel_pos: AccessRelatedness,
    child: PermissionPriv,
    protected: bool,
) -> Option<PermissionPriv>
Expand description

Dispatch handler depending on the kind of access and its position.