Skip to main content

rvalue_mentions_origin

rapx::verify::vm::alias_hazard

Function rvalue_mentions_origin 

Source 
fn rvalue_mentions_origin(
    rvalue: &Rvalue<'_>,
    origin: &PlaceKey,
    tree: &AliasTree,
) -> bool