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.