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.