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.