fn foreign_read(
state: PermissionPriv,
protected: bool,
) -> Option<PermissionPriv>
Expand description
A non-child node was read-accessed: keep Reserved
but mark it as conflicted
if it
is protected; invalidate Active
.
fn foreign_read(
state: PermissionPriv,
protected: bool,
) -> Option<PermissionPriv>
A non-child node was read-accessed: keep Reserved
but mark it as conflicted
if it
is protected; invalidate Active
.