child_read

miri::borrow_tracker::tree_borrows::perms::transition

Function 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.