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: noop on non-protected Reserved, advance to Frozen otherwise.