Function miri::borrow_tracker::tree_borrows::perms::transition::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.