Function miri::borrow_tracker::tree_borrows::perms::transition::child_read
source ยท fn child_read(state: PermissionPriv, _protected: bool) -> Option<PermissionPriv>
Expand description
A child node was read-accessed: UB on Disabled, noop on the rest.