Function miri::borrow_tracker::tree_borrows::perms::transition::foreign_read

source · 
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.